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.