Thanks for trying that out and letting me have your comments.
On 07/04/2013 23:55, Phil Clayton wrote:
polyc looks very useful. I just tried it out for 1723 and noticed a few
things:
1. -L${LIBDIR} is missing in the case when -o is not specified, causing
the error:
/usr/bin/ld: cannot find -lpolymain
/usr/bin/ld: cannot find -lpolyml
collect2: ld returned 1 exit status
Oops. That was a typo.
2. The Makefile.am has
EXTRA=\"$(EXTRALDFLAGS)\"
which should, perhaps, be
EXTRALDFLAGS=\"$(EXTRALDFLAGS)\"
as EXTRALDFLAGS is used inside the script.
Also an error. I've just committed a fix.
3. In the polyc that was built, I see
EXTRA=" "
As it stands, the Poly/ML lib directory is not added to the linker path
so I presume (for Linux) that this was meant to contain something like
-Wl,-rpath ${LIBDIR}
so that it is not necessary to set LD_LIBRARY_PATH before running the
executable.
I really had in mind the Windows build which needs a few extra options.
I hadn't thought of "rpath". My only concern would be if there are
linkers around that don't support it. There doesn't seem to be a simple
way in autoconf to find out if the linker supports it.
David
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
