> Could you re-send me the link to the instructions? Thanks! I would have done that before but I didn't know whether a link like this
https://cloud.sagemath.com/projects/87b42925-de3b-482c-99b2-edf1e1ba8bfb/files/fricas.term does help you. Anyway, under https://cloud.sagemath.com/projects I see "Test Aldor in Sage Cloud". In there I have a fricas.term. How would one actually provide an appropriate link? The instructions are in $HOME/fricas/rhx-instructions. I wanted also to add instructions to compile aldor from Pippijn's github repo. But unfortunately libtool is not installed and thus I cannot successfully run ./autogen.sh. Ralf ======================================================= ~/fricas$ cat rhx-instructions #!/usr/bin/env bash set -e #apt-get install sbcl emacs libgmp3-dev git build-essential gawk noweb # Unless the "datadir=" line is already in the aldor wrapper script. # By now you probably have a newer version of Aldor. ## mkdir -p $HOME/local/bin ## sed 's,EXEEXT=,datadir=${prefix}/share\nEXEEXT=,' /usr/bin/aldor > $HOME/local/bin/aldor export PATH=$HOME/local/bin:$PATH # The following branch fricas-aldor-local works with the installed debian version. # It should also work with newer versions, but one never knows. # It's a patch series that is not yet in the official FriCAS SVN repo. git clone https://github.com/hemmecke/fricas.git fricas cd fricas # No longer needed since FriCAS now include the .as files. git checkout -b fricas-aldor-local origin/fricas-aldor-local # We build FriCAS inside it's source tree and install into $HOME/local. ./configure --enable-aldor --with-lisp=sbcl --enable-gmp --prefix=$HOME/local time make -j10 > make.log 2>&1 -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/groups/opt_out.
