[ITP] singular-*-3.0.0-1

[Gerrit P. Haase]

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