The error I mentioned in previous email about endless loop
invoking "viewman" on macOS can be easily reproduced on Linux
as well:
Simple build with "--with-x=no", then a default "FRICAS=. ./bin/fricas"
will end up with endless:
/bin/sh: line 1: /tmp/fricas/target/x86_64-linux-gnu/lib/viewman: No
such file or directory
This is caused by d1b3fa941ad7b01f9e33f8b952db3a54158a9b60 in 2020-04-17
--- a/src/etc/fricas
+++ b/src/etc/fricas
@@ -131,6 +131,11 @@ if [ ! -f $FRICAS/lib/viewman ] ; then
otheropts="-nogr"
fi
+if [ ! -f $FRICAS/bin/hypertex ]; then
+ echo "hypertex not present, disabling"
+ otheropts="-noht"
+fi
+
while [ "$*" != "" ] ; do
The fix would be:
diff --git a/src/etc/fricas b/src/etc/fricas
index 35a881d6..2fa42b85 100644
--- a/src/etc/fricas
+++ b/src/etc/fricas
@@ -135,7 +135,7 @@ fi
if [ ! -f $FRICAS/bin/hypertex ]; then
echo "hypertex not present, disabling"
- otheropts="-noht"
+ otheropts="$otheropts -noht"
fi
--
You received this message because you are subscribed to the Google Groups "FriCAS -
computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/5a3677fb-bc78-f5bc-05d2-31823e027c27%40gmail.com.
