Since Sage depends on the host system's runsnake command, how about letting
it have its LD_LIBRARY_PATH to run? Changing one line in
.../sage/misc/dev_tools.py allows it to work on my system.
Last line of current runsnake definition:
os.system("/usr/bin/python -E `which runsnake` %s &"%tmpfile)
Proposed change to use host system's LD_LIBRARY_PATH:
os.system("LD_LIBRARY_PATH=${SAGE_ORIG_LD_LIBRARY_PATH} /usr/bin/python
-E `which runsnake` %s &"%tmpfile)
This change seems pretty low risk since one can't expect Sage to fix a
"broken" runsnake on the local host (i.e., if runsnake doesn't work on the
host, it's not going to work with Sage, or anything else, either), and
runsnake only reads the tmpfile generated by Sage without any other
interaction with Sage (as far as I know).
I don't know why freetype is being held at the current version in Sage, but
the above change should allow runsnake to work regardless.
On Sunday, October 20, 2013 8:55:25 AM UTC-4, Volker Braun wrote:
>
> This is just Sage's LD_LIBRARY_PATH hurting us once more, you are pretty
> much in a world of pain if system libraries don't match the Sage version.
>
>
> On Sunday, October 20, 2013 6:45:34 AM UTC+1, rickhg12hs wrote:
>>
>> Trying to run `runsnake` from within sage commandline fails on my Fedora
>> 19 system. `runsnake` on my system requires that `libfreetype` define
>> symbol `FT_Face_GetCharVariantIndex` which started in `freetype` version
>> 2.3.6. Currently Sage is distributed with `freetype` version 2.3.5.
>> Fedora 19 is distributed with `freetype` version 2.4.11.
>>
>> Perhaps Sage could update its version of freetype and/or use the host
>> system's freetype library?
>>
>>
--
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 http://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/groups/opt_out.
