Please check whether your are calling indeed the x86.static version.
To do so, proceed as follows.
Change to the directory where you have untared the tar.gz file e.g.
Code:
cd /tmp/Singular/3-1-6/x86_64-Linux
s
Then start that Singular file in the following form:
Code:
./Singular -v
You should see detailed information, such as:
Code:
Singular for x86_64-Linux version 3-1-6 (3160) Jsan 28 2013 07:07:08
with
factory(@(#) factoryVersion = 3.echo $LD_LIBRARY_PATH1.6),libfac(3.1.6,December 2012),
GMP(5.0),NTL(5.5.2),64bit,static readline,Plural,fan/cone,DBM,
dynamic modules,OM_CHECK=0,OM_TRACK=0,random=1364915111
Observe, that this Singular-3-1-6 version is built
static with the
readline, i.e.
it is not trying to load the
shared
object libreadline.[b]so./b].
Please check whether your are calling indeed the x86.static version.
To do so, proceed as follows.
Change to the directory where you have untared the tar.gz file e.g.
[code]
cd /tmp/Singular/3-1-6/x86_64-Linux
[/code]s
Then start that Singular file in the following form:
[code]
./Singular -v
[/code]
You should see detailed information, such as:
[code]
Singular for x86_64-Linux version 3-1-6 (3160) Jsan 28 2013 07:07:08
with
factory(@(#) factoryVersion = 3.echo $LD_LIBRARY_PATH1.6),libfac(3.1.6,December 2012),
GMP(5.0),NTL(5.5.2),64bit,static readline,Plural,fan/cone,DBM,
dynamic modules,OM_CHECK=0,OM_TRACK=0,random=1364915111
[/code]
Observe, that this Singular-3-1-6 version is built [b]static[/b] with the [b]readline[/b], i.e.
it is not trying to load the [b]s[/b]hared [b]o[/b]bject libreadline.[b]so./b].