Hi Darren, It looks to me as though you're attempting to run make install as an unprivileged user. Normally you'd need to be root to install to /usr/local/lib. If you are doing this as root there may be some other issue with the paths.
David
On 05/12/2021 17:26, Darren Parkinson wrote:
Hello, I get the following message when trying to install Polyml after using "make install": "
Making install in libpolyml
.././install-sh -c -d '/usr/local/lib'
/bin/sh ../libtool ? --mode=install /usr/bin/install -c ? libpolyml.la '/usr/local/lib'
libtool: install: /usr/bin/install -c .libs/libpolyml.13.dylib /usr/local/lib/libpolyml.13.dylib
install: /usr/local/lib/libpolyml.13.dylib: Permission denied
make[2]: *** [install-libLTLIBRARIES] Error 71
make[1]: *** [install-am] Error 2
make: *** [install-recursive] Error 1
" Any help? Yours truly, Darren Parkinson
polyml mailing list polyml at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml