I think I found it, by doing search_src("jc") (!):

misc/cython.py:233:        'curvesntl', 'g0nntl', 'jcntl', 'rankntl',

from

standard_libs = ['mpfr', 'gmp', 'gmpxx', 'stdc++', 'pari', 'm', 'curvesntl', \
                 'g0nntl', 'jcntl', 'rankntl', 'gsl', cblas(),
atlas(), 'ntl', 'csage']


Now I will edit that too and see if things work...

John

On 17 April 2012 13:26, Volker Braun <vbraun.n...@gmail.com> wrote:
> 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

-- 
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