Yes, that has done the trick. [I wonder if it is documented that
there are all these different places where spkgs installed libraries
need to be listed correctly....I must confess that I never looked as I
though I knew....]
One more testall and if successful, there will soon be a new eclib
spkg up for review at #10993.
John
On 17 April 2012 13:29, John Cremona <john.crem...@gmail.com> wrote:
> 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
