Hello,
I'm trying to compile from source sage-5.8 and singular seems to fail the
installation.
I'm running archlinux with the option -j4, here is the end of the log with
the error :
g++ -O2 -g -fPIC -pipe -fno-implicit-templates -I. -I..
-I/home/dadin/.sage-5.8/local -I/home/dadin/.sage-5.8/local/include
-I/home/dadin/.sage-5.8/local/include -I/home/dadin/.sage-5.8/local/include
-I/usr/local/include -DNDEBUG -DOM_NDEBUG -Dx86_64_Linux -DHAVE_CONFIG_H
-c longtrans.cc
gcc -O2 -g -fPIC -pipe -I. -I.. -I/home/dadin/.sage-5.8/local
-I/home/dadin/.sage-5.8/local/include
-I/home/dadin/.sage-5.8/local/include -I/home/dadin/.sage-5.8/local/include
-I/usr/local/include -DNDEBUG -DOM_NDEBUG -Dx86_64_Linux -DHAVE_CONFIG_H
-c weight0.c
In file included from ../kernel/si_gmp.h:4:0,
from ../kernel/structs.h:15,
from weight0.c:13:
../factory/cf_gmp.h:2501:28: erreur fatale: bits/c++config.h : Aucun
fichier ou dossier de ce type (means "No file or folder of this type")
#include <bits/c++config.h>
^
compilation terminée.
make[4]: *** [weight0.o] Erreur 1
make[4]: *** Attente des tâches non terminées....
make[4] : on quitte le répertoire «
/home/dadin/.sage-5.8/spkg/build/singular-3-1-5.p4/src/kernel »
make[3]: *** [install-nolns] Erreur 1
make[3] : on quitte le répertoire «
/home/dadin/.sage-5.8/spkg/build/singular-3-1-5.p4/src »
Unable to build and install Singular
Error building Singular (error in build_singular).
real 1m56.060s
user 5m49.167s
sys 0m17.733s
************************************************************************
Error installing package singular-3-1-5.p4
************************************************************************
Do someone have any solution ?
Thanks by advance,
Aladin
--
You received this message because you are subscribed to the Google Groups
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-support?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.
