Steve, Assuming you are using a fairly recent release of Poly/ML (5.5.2 or later), I think it is falling over because of an obsolete and now broken workaround of a problem with polyc. This is making it try to link the ProofPower executable with c++ rather than polyc and the c++ command line it uses isn’t right for your system.
As it has got this far, I think polyc must actually be working properly. You should be able to work around the unwanted workaround by running configure like this: PPPOLYLINKFLAGS="-o x" <any other environment settings you want> ./configure Thanks for persevering with this. It’s very useful input for the next release. Please let me know how you get on. Regards, Rob. > On 2 Mar 2017, at 23:08, Steve Reeves <[email protected]> wrote: > > Rob, > > Thanks…especially at this hour for you! > > It got much further, but now… > > rm -f hol.polydb > Compiling dtd108.sml and imp108.sml > { { echo "val system_version : string = \"3.1w7\"; val build_date : > Date.date = Date.fromTimeLocal(Time.now()); use\"dtd108.sml\"; > use\"imp108.sml\";" | poly ; } && { polyc -segprot POLY rwx rwx -o pp-ml > pp-ml.o || LD_RUN_PATH=/opt/local/lib c++ -segprot POLY rwx rwx -o pp-ml > pp-ml.o -L/opt/local/lib -lpolymain -lpolyml ; } && { echo "PPBuild.pp'save > ();" | pp-ml ; } } > dtd108.ldd0 > ld: warning: could not create compact unwind for _ffi_call_unix64: does not > use RBP or RSP based frame > Undefined symbols for architecture x86_64: > "___gmpn_add_n", referenced from: > add_unsigned_long(TaskData*, SaveVecEntry*, SaveVecEntry*, int) in > libpolyml.a(arb.o) > "___gmpn_gcd", referenced from: > gcd_arbitrary(TaskData*, SaveVecEntry*, SaveVecEntry*) in > libpolyml.a(arb.o) > "___gmpn_gcd_1", referenced from: > gcd_arbitrary(TaskData*, SaveVecEntry*, SaveVecEntry*) in > libpolyml.a(arb.o) > "___gmpn_lshift", referenced from: > gcd_arbitrary(TaskData*, SaveVecEntry*, SaveVecEntry*) in > libpolyml.a(arb.o) > "___gmpn_mul", referenced from: > mult_longc(TaskData*, SaveVecEntry*, SaveVecEntry*) in > libpolyml.a(arb.o) > "___gmpn_rshift", referenced from: > gcd_arbitrary(TaskData*, SaveVecEntry*, SaveVecEntry*) in > libpolyml.a(arb.o) > "___gmpn_sub_n", referenced from: > sub_unsigned_long(TaskData*, SaveVecEntry*, SaveVecEntry*, int) in > libpolyml.a(arb.o) > "___gmpn_tdiv_qr", referenced from: > quotRem(TaskData*, SaveVecEntry*, SaveVecEntry*, SaveVecEntry*&, > SaveVecEntry*&) in libpolyml.a(arb.o) > ld: symbol(s) not found for architecture x86_64 > clang: error: linker command failed with exit code 1 (use -v to see > invocation) > make: *** [hol.ldd] Error 1 > > Perhaps I have something missing? > > Steve > >> On 3/03/2017, at 12:03 PM, Rob Arthan <[email protected] >> <mailto:[email protected]>> wrote: >> >> cp src/pptex/imp096.doc src/xpp/imp096.doc >> distclean > > _______________________________________________ > Proofpower mailing list > [email protected] > http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
_______________________________________________ Proofpower mailing list [email protected] http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
