Oliver Wienand wrote:
Singular goes to /opt/Singular
No.
What directory should I use instead? Singular is designed to take a
basepath and search for libraries, etc. relative to this path.
Which are the search paths. Why is it not possible to use /usr as base
instead of /opt/Singular? As I wrote in one of my previous postings:
"Binaries should go to /usr/bin, rest to /usr/share/Singular(-3.0.0)
and/or /usr/lib/Singular(-3.0.0) and docs into
/usr/share/doc/Singular-3.0.0"
Of course all the paths can be set through shell variables, but I would
prefer to not use this way.
Gerrit
