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