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
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
