On 13/05/2014 21:27, Rob Arthan wrote:
OK, I've just done that. Can you check that it works? In general
I don't like replacing public files in place once they've been
released but I've made an exception in this case.
Nothing seems to have changed - the line that sets EXTRALDFLAGS is
still wrong.
Sorry. I did something stupid while I was rerunning the export. I
still had the existing polyml-5.5.2 directory in my /tmp so
mv polyml polyml-5.5.2
put polyml as a sub-directory of the existing directory rather than
changing its name!
I have run it again and downloaded to check and it looks as though it
now has the fixed version.
Regards,
David
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
