Hi Rob, It looks to me as though you've mixed the versions of Poly/ML. I suspect you're building with a 5.8.1 version and trying to link with a 5.8.2 library. Have a look at the path that polyc is using for the compiler and the libraries.

Regards, David

On 25/11/2021 16:19, Rob Arthan wrote:

I am trying to reproduce an issue reported by a ProofPower user. I am not getting as far as he did. I am seeing the following, when I try to produce an executable from a .o file created using PolyML.export.

rda]- polyc -o main1 main1.o Undefined symbols for architecture x86_64: "_PolyFFIGeneral", referenced from: anon in main1.o "_PolyNetworkGeneral", referenced from: anon in main1.o "_PolyNetworkGetHostByAddr", referenced from: anon in main1.o "_PolyNetworkGetHostByName", referenced from: anon in main1.o "_PolyTimingGeneral", referenced from: anon in main1.o ld: symbol(s) not found for architecture x86_64 clang: error: linker command failed with exit code 1 (use -v to see invocation)

This is with Poly/ML 5.8.2 running on MacOS Catalina 10.15.7. polyc successfully builds an executable when I create a toy example, but not for this .o file which contains most of a fairly large application.

Where am I going wrong?

Regards,

Rob. _______________________________________________ polyml mailing list polyml at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml