I get the following failure when I try to build Poly/ML on a Fedora 12 box:
...
./polyimport -H 10 polytemp.txt -I . < ./exportPoly.sml
/home/rda/bld/poly/polyml.5.3/.libs/lt-polyimport: error while loading
shared libraries: libpolyml.so.1: cannot enable executable stack as
shared object requires: Permission denied
Any suggestions gratefully received,
Regards,
Rob.
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
