On Nov 24, 11:14 pm, Bill Hart <[EMAIL PROTECTED]> wrote:
> Michael,
>
> Is there a simple way to either:
>
> 1) Use a bash script to parse the existing $LD_LIBRARY_PATH to see if
> one of the path strings it contains is equal to $FLINT_GMP_LIB_DIR
>
> 2) Add $FLINT_GMP_LIB_DIR to $LD_LIBRARY_PATH if it isn't already in
> there (I see how to add it whether or not it is in there, but this
> could lead to a duplicate path string)
>
> I've read piles of tutorials on bash scripts and I can't find a way of
> doing either without piles of lines of bash script.
>
> Bill.
>
Hey Bill,
I opened ticket #1260 for this and pasted this and your previous
comments into the description. It is assigned to me, so I might came
back with some questions down the road. We can combine the cleanup
with an update to a more recent revision of FLINT in case you think it
is the right thing to do.
Cheers,
Michael
--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at http://groups.google.com/group/sage-devel
URLs: http://sage.scipy.org/sage/ and http://modular.math.washington.edu/sage/
-~----------~----~----~----~------~----~------~--~---
