Rob,

Yes that little extra did it! Thanks for your help with this :)

Steve

> On 5/03/2017, at 6:00 AM, proofpower-requ...@lemma-one.com wrote:
> 
> Send Proofpower mailing list submissions to
>       proofpower@lemma-one.com
> 
> 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
>       proofpower-requ...@lemma-one.com
> 
> You can reach the person managing the list at
>       proofpower-ow...@lemma-one.com
> 
> 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 <r...@lemma-one.com>
> To: Steve Reeves <ste...@waikato.ac.nz>
> Cc: ProofPower List <proofpower@lemma-one.com>
> Subject: Re: [ProofPower] Is this a MacOs 10.12 problem?
> Message-ID: <b47b4a53-239e-4055-b9da-a5295c61b...@lemma-one.com>
> 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 <ste...@waikato.ac.nz> 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 <r...@lemma-one.com 
>>> <mailto:r...@lemma-one.com>> wrote:
>>> 
>>> cp src/pptex/imp096.doc src/xpp/imp096.doc
>>>     distclean
>> 
>> _______________________________________________
>> Proofpower mailing list
>> Proofpower@lemma-one.com
>> 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
> Proofpower@lemma-one.com
> http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
> 
> 
> ------------------------------
> 
> End of Proofpower Digest, Vol 110, Issue 4
> ******************************************


_______________________________________________
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com

Reply via email to