Since you are editing the file containing the dependency information, it is 
to be expected that you sometimes need to rebuild everything (depending on 
what you changed). 

Having said that, I think there are some rough spots involving sage -b. I 
think the case that is not handled is if you delete a library (which is 
what you said); I've tripped over that one previously as well.




On Tuesday, April 17, 2012 7:48:47 AM UTC-4, John Cremona wrote:
>
> Is it normal that after changing $SAGE_ROOT/devel/sage/module_list.py
> it is not enough to do sage -b, but sage -ba is required?
>
> I just made some changes as I am testing a new eclib spkg which
> required editing module_list.py since the new version has only one
> library file instead of 4, and was surprised to see some doctest
> failures in apparently unrelated places (sage/misc/sagedoc.py,
> sage/misc/sageinspect.py and more) where the error was caused by teh
> non-existence of the old libraries which are deleted.  Is there
> anywhere other than in sage_modules.py where libraries installed by
> spkgs are mentioned?
>
> John
>
>

-- 
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org

Reply via email to