Rob, Yes that little extra did it! Thanks for your help with this :)
Steve > On 5/03/2017, at 6:00 AM, [email protected] wrote: > > Send Proofpower mailing list submissions to > [email protected] > > To subscribe or unsubscribe via the World Wide Web, visit > http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com > or, via email, send a message with subject or body 'help' to > [email protected] > > You can reach the person managing the list at > [email protected] > > When replying, please edit your Subject line so it is more specific > than "Re: Contents of Proofpower digest..." > > > Today's Topics: > > 1. Re: Is this a MacOs 10.12 problem? (Rob Arthan) > > > ---------------------------------------------------------------------- > > Message: 1 > Date: Sat, 4 Mar 2017 15:17:20 +0000 > From: Rob Arthan <[email protected]> > To: Steve Reeves <[email protected]> > Cc: ProofPower List <[email protected]> > Subject: Re: [ProofPower] Is this a MacOs 10.12 problem? > Message-ID: <[email protected]> > Content-Type: text/plain; charset="utf-8" > > 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 > > -------------- next part -------------- > An HTML attachment was scrubbed... > URL: > <http://lemma-one.com/pipermail/proofpower_lemma-one.com/attachments/20170304/fb547711/attachment-0001.html> > > ------------------------------ > > Subject: Digest Footer > > _______________________________________________ > Proofpower mailing list > [email protected] > http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com > > > ------------------------------ > > End of Proofpower Digest, Vol 110, Issue 4 > ****************************************** _______________________________________________ Proofpower mailing list [email protected] http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
