David,
On 3 Aug 2013, at 13:37, David Matthews <David.Matthews at prolingua.co.uk> wrote:
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?
I probably first did
configure
with no options by mistake, then did make, then remembered to do
configure --prefix=/opt/PolyML/latest
ran make again. Having repeated the exercise but doing
make clean
before the configure, it built polyc with the appropriate directory names.
With ProofPower, I found that there were a number of users who wanted the software to work if it was run over nfs, so that hard-wired directory names may not work. Hence I needed to implement the trickery I mentioned to make the shell scripts that run ProofPower work out the installation directory for themselves. No doubt time will tell whether you have users who want the same flexibility.
Regards,
Rob.