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
