[polyml] Compiler in SVN

On 03/08/2013 11:06, Rob Arthan wrote:

/bin/sh on ubuntu-flavoured Linux is dash, which is very pernickety about POSIX compliance. polyc needs a couple of changes to work with it (see attached diffs file).

Thanks. I've applied those changes to buildpolyc which is the script that actually produces polyc as part of the build process.

However, I don't think polyc as it stands is going to work for me because it expects the poly binaries and libraries to be installed in /usr/local.

It should take the installation directories from the configure script so they are wherever make install will put them. This certainly works for me if I specify either --path or --bindir/libdir/mandir on the configure line. How are you installing Poly/ML?

David