On 20/10/2020 16:19, Phil Clayton wrote:
I fired up the VM and, in the terminal, ran
objdump -p polyml/bin/poly
and I see the output contains:
Dynamic Section:
...
RPATH /root/polyml/lib
...
If that RPATH were correctly set (to /home/guest/polyml/lib) I suspect
you wouldn't need to set LD_LIBRARY_PATH in the environment.
Or configure with --disable-shared to build a binary that doesn't use a
dynamic library.
David
_______________________________________________
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml