On 10/02/2016 16:18, Anthony Fox wrote:
Can you provide some more information and try to narrow the problem down?
There certainly shouldn't be bus errors or segmentation faults anywhere.
I removed the files
$POLYDIR/lib/libpoly*
before doing an Poly/ML install and that seemed to fix things.
OK. The libraries have the same version number as the last release so
that may cause problems. I seem to recall reading that one was supposed
to increment the version number just before a release but maybe it would
be better to increment the version immediately after so that versions
from git always have a different version from the last release.
David
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
