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
On 23.04.22 00:49, Ralf Hemmecke wrote:
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
--
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/3083c3ff-d869-6b5b-8d61-ad08a75ae37f%40hemmecke.org.
