Dear all, 

perhaps the following hints are useful, thanks to Martin Silberbauer, who 
worked all that out!


#1. GCL must be installed

#http://www.cs.utexas.edu/users/moore/acl2/v3-6/installation/requirements.html#gcl-mac

     export CVSROOT=:pserver:[email protected]:/sources/gcl
     cvs -z9 -q co -d gcl-2.6.8pre -r Version_2_6_8pre gcl

     ./configure
     make
     sudo make install


#2. Content of /bin/gcl:

#!/bin/sh
exec /unixport/ \
  -dir /unixport/ \
  -libdir / \
  -eval '(setq si::*allow-gzipped-file* t)' \
    "$@"
# other options: -load /tmp/foo.o -load jo.lsp -eval "(joe 3)"


#change the following values (path must be exist of course):

#!/bin/sh
exec /usr/local/lib/gcl-2.6.8/unixport/saved_gcl \
  -dir /usr/local/lib/gcl-2.6.8/unixport/ \
  -libdir /usr/local/lib/gcl-2.6.8/ \
  -eval '(setq si::*allow-gzipped-file* t)' \
    "$@"
# other options: -load /tmp/foo.o -load jo.lsp -eval "(joe 3)"

***************************************

#3. Now Fricas Installation:

#http://sourceforge.net/projects/fricas/files/fricas/1.1.4/fricas-1.1.4-full.tar.bz2/download
#Download: fricas-1.1.4-full.tar.bz2

tar -xvjf fricas-1.1.4-full.tar.bz2

#Howto: http://fricas.sourceforge.net/doc/INSTALL.txt


#short:

sudo ./conigure --with-lisp=gcl
sudo make
sudo make install

#thats it!


Mit freundlichen Grüßen

Johannes Grabmeier

Prof. Dr. Johannes Grabmeier
Köckstraße 1, D-94469 Deggendorf
Tel. +49-(0)-991-2979584, Tel. +49-(0)-171-5503789
Tel. +49-(0)-991-3615-100 (d),  Fax: +49-(0)-1803-5518-17745

-- 
You received this message because you are subscribed to the Google Groups 
"FriCAS - computer algebra system" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to 
[email protected].
For more options, visit this group at 
http://groups.google.com/group/fricas-devel?hl=en.

Reply via email to