Some cleanup for src/etc/fricas:
1. Remove MALLOCTYPE. That seems to be a thing
for IBM AIX. Pretty sure we don't support that and
nobody uses that.
2. Remove the nag options and 'no/nogo' options.
--
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 post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
diff --git a/src/etc/fricas b/src/etc/fricas
index aaecaabb..434bff1f 100644
--- a/src/etc/fricas
+++ b/src/etc/fricas
@@ -1,15 +1,14 @@
#!/bin/sh
-# Start everything for Axiom.
+# Start everything for FriCAS.
#
-# axiom
+# fricas
# [-ht |-noht] whether to use HyperDoc
# [-gr |-nogr] whether to use Graphics
# [-clef |-noclef] whether to use Clef
# [-iw |-noiw] start in interpreter window
# [-ihere|-noihere] start an interpreter buffer in the original window
# [-nox] don't use X Windows
-# [-go |-nogo] whether to start system
# [-ws wsname] use named workspace
# [-list] list workspaces only
# [-grprog fname] use named program for Graphics
@@ -26,9 +25,6 @@
PATH=$AXIOM/bin:${PATH}:/usr/bin/X11
export PATH
-MALLOCTYPE=3.1
-export MALLOCTYPE
-
# NAGMAN needs to know the hostname
HOST=`hostname`
export HOST
@@ -55,11 +51,9 @@ echo " [-clef |-noclef] whether to use Clef"
echo " [-iw |-noiw] start in interpreter window"
echo " [-ihere|-noihere] start an interpreter buffer in the original window."
echo " [-nox] don't use X Windows"
-echo " [-go |-nogo] whether to start system"
echo " [-ws wsname] use named workspace"
echo " [-list] list workspaces only"
#echo " [-grprog fname] use named program for Graphics"
-#echo " [-nagprog fname] use named program for Nag"
#echo " [-htprog fname] use named program for HyperDoc"
echo " [-clefprog fname] use named program for Clef"
#echo " [-sessionprog fname] use named program for session"
@@ -141,8 +135,6 @@ while [ "$*" != "" ] ; do
case $1 in
-list) list=yes
go=no;;
- -go) go=yes ;;
- -nogo) go=no ;;
-ws)
if [ "$2" = "" ] ; then needsubopt "$1" ; fi
@@ -150,12 +142,12 @@ while [ "$*" != "" ] ; do
wsname="$1"
;;
- -nagprog|-grprog|-htprog|-clefprog|-sessionprog|-clientprog|-paste|-rm|-rv)
+ -grprog|-htprog|-clefprog|-sessionprog|-clientprog|-paste|-rm|-rv)
if [ "$2" = "" ] ; then needsubopt "$1" ; fi
otheropts="$otheropts $1 $2"
shift
;;
- -clef|-noclef|-gr|-nogr|-ht|-noht|-iw|-noiw|-ihere|-noihere|-nox|-nag|-nonag)
+ -clef|-noclef|-gr|-nogr|-ht|-noht|-iw|-noiw|-ihere|-noihere|-nox)
otheropts="$otheropts $1"
;;
