> Have you followed instructions in INSTALL-bin.txt? In particular:
>
> ...
> The same change is needed in internal 'fricas' script,
> which assuming paths like above will be in file
>
> /home/joe/software/fricas/target/x86_64-unknown-linux/fricas
Well, I've tried to follow
https://sourceforge.net/projects/fricas/files/fricas/1.2.0/Notes-1.2.0.txt
(if this is what you mean by INSTALL-bin.txt). But there it doesn't say
something about "internal".
I think it would be better to explicitly refer to a 'find' command.
$ find usr -type f -name '*fricas'
usr/local/lib/fricas/target/i686-pc-linux/bin/fricas
usr/local/bin/fricas
usr/local/bin/efricas
Anyway, thanks for the hint.
Ralf