Ask Your Question

After debugging problem in building Sage library during initial build, how to continue?

asked 2011-06-25 21:43:26 +0200

kcrisman gravatar image

updated 2017-08-01 12:20:06 +0200

FrédéricC gravatar image

Suppose you are building Sage, and an error comes up. Usually, in most spkgs, if there is something that needs to be changed in the code of the spkg, you can cd into the spkg/build/ directory for the package, go into src/, fix the error (if you have any idea what it is, of course!) in the source, and then continue the spkg-install from there.

This is not the case in the Sage library spkg sage-x.y.z. itself, though. You have to do something else. I am trying to figure out what that is! I was once shown, but have forgotten. I've tried $SAGE_ROOT/sage -b, $SAGE_ROOT/sage -ba, and ./spkg-install. I didn't really expect the first two to work, given that they would operate on the already copied files (not the ones in the build directory), but the latter also doesn't seem to work.

I remember having this exact problem, and cannot remember what to do. Help!

edit retag flag offensive close merge delete

1 Answer

Sort by » oldest newest most voted

answered 2011-06-26 02:28:25 +0200

Mike Hansen gravatar image

If you want to fix (build) issues in the Sage library, the best thing to do is just to go in and fix the changes in $SAGE_ROOT/devel/sage-main and then run $SAGE_ROOT/sage -b. If you want to make a new spkg from $SAGE_ROOT/devel/sage-main, you can always do sage -sdist. When working with the Sage library spkg, it's best to just avoid the $SAGE_ROOT/spkg/build directory since that's not where the actual build occurs.

edit flag offensive delete link more


I think this was my problem, where I was located. In the meantime I must have done something like this anyway, since I was able to continue the build with the fix I had. Unfortunate that the error message led me astray again :( but thanks for the help.

kcrisman gravatar imagekcrisman ( 2011-06-27 17:21:46 +0200 )edit

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools


Asked: 2011-06-25 21:43:26 +0200

Seen: 402 times

Last updated: Jun 26 '11