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