fricas binary

[Ralf Hemmecke]

Waldek,

will the binary release from

https://github.com/fricas/fricas/releases

pick up libgmp if it is installed?

Can you put together a script (and commit it to the repo) that generates
fricas-1.3.7.amd64.tar.bz2 ?

Thank you
Ralf

[Ralf Hemmecke]

Further question... is the binary release supposed to work in $HOME?

Suppose we change efricas in our repo to start (similar to the fricas
script) like this.

"""
#!/bin/sh -
exec_prefix="${FRICAS_PREFIX:-/usr/local}"
FRICAS="${exec_prefix}/lib/fricas/target/x86_64-linux-gnu"
FRICASCMD="$FRICAS/bin/fricas"
export FRICASCMD
"""

Would an install like the following work perfectly if I add
"PATH=$HOME/foo/usr/local/bin:$PATH" to my .bashrc and do the
installation in the following way?

"""
V=1.3.7
wget
https://github.com/fricas/fricas/releases/download/$V/fricas-$V.amd64.tar.bz2
F=$HOME/foo
L=$F/usr/local
mkdir -p $L
tar xjf fricas-$V.amd64.tar.bz2 -C $F
sed -i "s|^exec_prefix=|FRICAS_PREFIX=\"$L\"\nexport
FRICAS_PREFIX\nexec_prefix=|" $L/bin/fricas
sed -i "s|^exec_prefix=|FRICAS_PREFIX=\"$L\"\nexport
FRICAS_PREFIX\nexec_prefix=|;s|/usr/local/|$L/|" $L/bin/efricas
"""

I think it would be nice to mention such a $HOME install optionn in
install.rst.

Ralf