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
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
