sagemanifolds compiles well usually... Just follow the install doc and
sm-install.sh :
http://sagemanifolds.obspm.fr/download.html#script_install/sm-install.sh
I prefer than git.
Le 31/03/2016 19:00, Oscar Alberto Castillo Felisola a écrit :
Hi Eric,
I finally compiled the source of sage from github, but I got a merge
conflict when I added the sagemanifolds branch. I'll post further when
I get to the office. Hope you could help me.
Cheers.
On Tuesday, 29 March 2016 15:51:53 UTC-3, Eric Gourgoulhon wrote:
Hi Oscar,
I'm afraid I cannot help much with your specific problem. The only
thing I can tell is that Sage 7.1 + SageManifolds 0.9 works well
on Ubuntu, which is based on Debian, but of course differs from it.
Best regards,
Eric.
Le mardi 29 mars 2016 16:04:20 UTC+2, Oscar Alberto Castillo
Felisola a écrit :
Dear community,
lately, I'm having problems with the installation of SAGE. I
downloaded the version Sage v.7.1 for Debian_8, and it seems
to work... but I installed sagemanifold v.0.9, and I got the
report file attached to this post.
I'm having problems too when compiling the scr code, because
the file `flint*` has a problem.
Any suggestions?
--
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 sage-support+unsubscr...@googlegroups.com
<mailto:sage-support+unsubscr...@googlegroups.com>.
To post to this group, send email to sage-support@googlegroups.com
<mailto:sage-support@googlegroups.com>.
Visit this group at https://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.
--
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 sage-support+unsubscr...@googlegroups.com.
To post to this group, send email to sage-support@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.
