Re: [ProofPower] Is this a MacOs 10.12 problem?

2017-03-04 Thread Rob Arthan
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"  ./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  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 > > 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

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


Re: [ProofPower] Is this a MacOs 10.12 problem?

2017-03-02 Thread Steve Reeves
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  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


Re: [ProofPower] Is this a MacOs 10.12 problem?

2017-03-02 Thread Rob Arthan
Steve,

Apologies. I didn't test my patch as thoroughly as I should have. Unfortunately,
the file that needed patching gets copied into two places by the script I use to
make a ProofPower release, but the patch I sent you only fixed one of the 
copies.

If you do:

cp src/pptex/imp096.doc src/xpp/imp096.doc
distclean

things should improve.

Regards,

Rob.

> On 2 Mar 2017, at 22:09, Steve Reeves  wrote:
> 
> Rob,
> 
> I did that and the install got MUCH further…but then it happened again…. :(
> 
> Here’s the very end of the very long build.log,,,
> 
> cp dtd017.dvi dtd018.dvi imp018.sml usr032.dvi usr032a.eps 
> "/Users/stever/pp"/doc
> chmod -R a-w "/Users/stever/pp"
> chmod -R g-w "/Users/stever/pp"
> chmod -R u+w "/Users/stever/pp"
> rm dtd017.tex dtd018.tex usr032.tex
> if [ "${PPTARGETDIR:-}" = "" ]; \
>   then \
>   rm -rf "/Users/stever/pp"; \
>   fi
> [ -d   "/Users/stever/pp" ] || mkdir "/Users/stever/pp"
> [ -d   "/Users/stever/pp"/app-defaults ] || mkdir 
> "/Users/stever/pp"/app-defaults
> [ -d   "/Users/stever/pp"/bin ] || mkdir "/Users/stever/pp"/bin
> [ -d   "/Users/stever/pp"/bitmaps ] || mkdir "/Users/stever/pp"/bitmaps
> [ -d   "/Users/stever/pp"/fonts  ] || mkdir "/Users/stever/pp"/fonts
> cc -g -DMACOSX -DGETOPTDONE=-1 -DUSE_GRANTPT -DSLOWREGEXEC 
> -I/opt/local/include -Wall -I/usr/X11R6/include   -c -o cmdline.o cmdline.c
> cc -g -DMACOSX -DGETOPTDONE=-1 -DUSE_GRANTPT -DSLOWREGEXEC 
> -I/opt/local/include -Wall -I/usr/X11R6/include   -c -o diag.o diag.c
> cc -g -DMACOSX -DGETOPTDONE=-1 -DUSE_GRANTPT -DSLOWREGEXEC 
> -I/opt/local/include -Wall -I/usr/X11R6/include   -c -o files.o files.c
> sed -e '/^# imp096.sieveview/,/^# end of imp096.sieveview/!d' \
>   -e 's/^ //' imp096.doc > imp096.sieveview
> rm -f imp096.c
> ln -s imp096.doc imp096.c
> cc -o sieve -g -DMACOSX -DGETOPTDONE=-1 -DUSE_GRANTPT -DSLOWREGEXEC 
> -I/opt/local/include -Wall -I/usr/X11R6/include imp096.c
> imp096.c:60:1: warning: '/*' within block comment [-Wcomment]
> /* From: imp096.doc   @(#) 94/04/06 1.3 imp096.doc
> ^
> In file included from imp096.c:5151:
> /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.12.sdk/usr/include/unistd.h:508:6:
>  error: cannot apply asm label to function after its first use
> int  getopt(int, char * const [], const char *) __DARWIN_ALIAS(getopt);
>  ^  ~~
> imp096.c:5323:1: warning: '/*' within block comment [-Wcomment]
> /*
> ^
> 2 warnings and 1 error generated.
> make: *** [sieve] Error 1
> 
> 
> Seems to be exactly the same error as before…but much further on.
> 
> Steve
> 
>> On 1/03/2017, at 10:55 PM, Rob Arthan  wrote:
>> 
>> Steve,
>> 
>> Not your ignorance at all. It was a change in clang that came in with Mac OS 
>> 10.11.
>> I’d been meaning to issue a fix. I’ve attached a patch. To apply it do:
>> 
>>  patch -p1 -b -B orig/ < patch-3.1.rda.20170301
>> 
>> in the OpenProofPower-3.1w7 directory. Let me know if you have any more 
>> problems.
>> 
>> Regards,
>> 
>> Rob.
>> 
>> 
>>> On 1 Mar 2017, at 05:19, Steve Reeves  wrote:
>>> 
>>> I couldn’t find anything later than November and about 10.11….so perhaps 
>>> this is new…or more likely my ignorance!
>>> 
>>> Anyhow, I’m trying to install the latest PP and on running install I got 
>>> this in the build.log file:
>>> 
>>> Building pptex dev xpp hol zed daz
>>> if [ "${PPTARGETDIR:-}" = "" ]; \
>>> then \
>>> rm -rf "/Users/stever/pp"; \
>>> fi
>>> [ -d   "/Users/stever/pp" ] || mkdir "/Users/stever/pp"
>>> [ -d   "/Users/stever/pp"/bin ] || mkdir "/Users/stever/pp"/bin
>>> [ -d   "/Users/stever/pp"/etc ] || mkdir "/Users/stever/pp"/etc
>>> [ -d   "/Users/stever/pp"/tex ] || mkdir "/Users/stever/pp"/tex
>>> rm -f imp096.c
>>> ln -s imp096.doc imp096.c
>>> gcc -o sieve -DVERSION="\"3.1w7\""  imp096.c
>>> imp096.c:60:1: warning: '/*' within block comment [-Wcomment]
>>> /* From: imp096.doc   @(#) 94/04/06 1.3 imp096.doc
>>> ^
>>> In file included from imp096.c:5151:
>>> /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.12.sdk/usr/include/unistd.h:508:6:
>>>  error: cannot apply asm label to function after its first use
>>> int  getopt(int, char * const [], const char *) __DARWIN_ALIAS(getopt);
>>>  ^  ~~
>>> imp096.c:5323:1: warning: '/*' within block comment [-Wcomment]
>>> /*
>>> ^
>>> 2 warnings and 1 error generated.
>>> make: *** [sieve] Error 1
>>> 
>>> 
>>> Seems to be a problem in an Xcode file….
>>> 
>>> Any help grateful received!
>>> 
>>> Steve
>>> ___
>>> Proofpower mailing list
>>> Proofpower@lemma-one.com
>>> http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
>> 
> 


___
Proofpower mailing list
Proofpower@lemma-one.c

Re: [ProofPower] Is this a MacOs 10.12 problem?

2017-03-02 Thread Steve Reeves
Rob,

I did that and the install got MUCH further…but then it happened again…. :(

Here’s the very end of the very long build.log,,,

cp dtd017.dvi dtd018.dvi imp018.sml usr032.dvi usr032a.eps 
"/Users/stever/pp"/doc
chmod -R a-w "/Users/stever/pp"
chmod -R g-w "/Users/stever/pp"
chmod -R u+w "/Users/stever/pp"
rm dtd017.tex dtd018.tex usr032.tex
if [ "${PPTARGETDIR:-}" = "" ]; \
then \
rm -rf "/Users/stever/pp"; \
fi
[ -d   "/Users/stever/pp" ] || mkdir "/Users/stever/pp"
[ -d   "/Users/stever/pp"/app-defaults ] || mkdir 
"/Users/stever/pp"/app-defaults
[ -d   "/Users/stever/pp"/bin ] || mkdir "/Users/stever/pp"/bin
[ -d   "/Users/stever/pp"/bitmaps ] || mkdir "/Users/stever/pp"/bitmaps
[ -d   "/Users/stever/pp"/fonts  ] || mkdir "/Users/stever/pp"/fonts
cc -g -DMACOSX -DGETOPTDONE=-1 -DUSE_GRANTPT -DSLOWREGEXEC -I/opt/local/include 
-Wall -I/usr/X11R6/include   -c -o cmdline.o cmdline.c
cc -g -DMACOSX -DGETOPTDONE=-1 -DUSE_GRANTPT -DSLOWREGEXEC -I/opt/local/include 
-Wall -I/usr/X11R6/include   -c -o diag.o diag.c
cc -g -DMACOSX -DGETOPTDONE=-1 -DUSE_GRANTPT -DSLOWREGEXEC -I/opt/local/include 
-Wall -I/usr/X11R6/include   -c -o files.o files.c
sed -e '/^# imp096.sieveview/,/^# end of imp096.sieveview/!d' \
-e 's/^ //' imp096.doc > imp096.sieveview
rm -f imp096.c
ln -s imp096.doc imp096.c
cc -o sieve -g -DMACOSX -DGETOPTDONE=-1 -DUSE_GRANTPT -DSLOWREGEXEC 
-I/opt/local/include -Wall -I/usr/X11R6/include imp096.c
imp096.c:60:1: warning: '/*' within block comment [-Wcomment]
/* From: imp096.doc   @(#) 94/04/06 1.3 imp096.doc
^
In file included from imp096.c:5151:
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.12.sdk/usr/include/unistd.h:508:6:
 error: cannot apply asm label to function after its first use
int  getopt(int, char * const [], const char *) __DARWIN_ALIAS(getopt);
 ^  ~~
imp096.c:5323:1: warning: '/*' within block comment [-Wcomment]
/*
^
2 warnings and 1 error generated.
make: *** [sieve] Error 1


Seems to be exactly the same error as before…but much further on.

Steve

> On 1/03/2017, at 10:55 PM, Rob Arthan  wrote:
> 
> Steve,
> 
> Not your ignorance at all. It was a change in clang that came in with Mac OS 
> 10.11.
> I’d been meaning to issue a fix. I’ve attached a patch. To apply it do:
> 
>   patch -p1 -b -B orig/ < patch-3.1.rda.20170301
> 
> in the OpenProofPower-3.1w7 directory. Let me know if you have any more 
> problems.
> 
> Regards,
> 
> Rob.
> 
> 
>> On 1 Mar 2017, at 05:19, Steve Reeves > > wrote:
>> 
>> I couldn’t find anything later than November and about 10.11….so perhaps 
>> this is new…or more likely my ignorance!
>> 
>> Anyhow, I’m trying to install the latest PP and on running install I got 
>> this in the build.log file:
>> 
>> Building pptex dev xpp hol zed daz
>> if [ "${PPTARGETDIR:-}" = "" ]; \
>>  then \
>>  rm -rf "/Users/stever/pp"; \
>>  fi
>> [ -d   "/Users/stever/pp" ] || mkdir "/Users/stever/pp"
>> [ -d   "/Users/stever/pp"/bin ] || mkdir "/Users/stever/pp"/bin
>> [ -d   "/Users/stever/pp"/etc ] || mkdir "/Users/stever/pp"/etc
>> [ -d   "/Users/stever/pp"/tex ] || mkdir "/Users/stever/pp"/tex
>> rm -f imp096.c
>> ln -s imp096.doc imp096.c
>> gcc -o sieve -DVERSION="\"3.1w7\""  imp096.c
>> imp096.c:60:1: warning: '/*' within block comment [-Wcomment]
>> /* From: imp096.doc   @(#) 94/04/06 1.3 imp096.doc
>> ^
>> In file included from imp096.c:5151:
>> /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.12.sdk/usr/include/unistd.h:508:6:
>>  error: cannot apply asm label to function after its first use
>> int  getopt(int, char * const [], const char *) __DARWIN_ALIAS(getopt);
>>  ^  ~~
>> imp096.c:5323:1: warning: '/*' within block comment [-Wcomment]
>> /*
>> ^
>> 2 warnings and 1 error generated.
>> make: *** [sieve] Error 1
>> 
>> 
>> Seems to be a problem in an Xcode file….
>> 
>> Any help grateful received!
>> 
>> Steve
>> ___
>> Proofpower mailing list
>> Proofpower@lemma-one.com 
>> http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
> 

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


Re: [ProofPower] Is this a MacOs 10.12 problem?

2017-03-01 Thread Rob Arthan
Steve,Not your ignorance at all. It was a change in clang that came in with Mac OS 10.11.I’d been meaning to issue a fix. I’ve attached a patch. To apply it do:	patch -p1 -b -B orig/ < patch-3.1.rda.20170301in the OpenProofPower-3.1w7 directory. Let me know if you have any more problems.Regards,Rob.

patch-3.1.rda.20170301
Description: Binary data
On 1 Mar 2017, at 05:19, Steve Reeves  wrote:I couldn’t find anything later than November and about 10.11….so perhaps this is new…or more likely my ignorance!Anyhow, I’m trying to install the latest PP and on running install I got this in the build.log file:Building pptex dev xpp hol zed dazif [ "${PPTARGETDIR:-}" = "" ]; \	then \		rm -rf "/Users/stever/pp"; \	fi[ -d   "/Users/stever/pp" ] || mkdir "/Users/stever/pp"[ -d   "/Users/stever/pp"/bin ] || mkdir "/Users/stever/pp"/bin[ -d   "/Users/stever/pp"/etc ] || mkdir "/Users/stever/pp"/etc[ -d   "/Users/stever/pp"/tex ] || mkdir "/Users/stever/pp"/texrm -f imp096.cln -s imp096.doc imp096.cgcc -o sieve -DVERSION="\"3.1w7\""  imp096.cimp096.c:60:1: warning: '/*' within block comment [-Wcomment]/* From: imp096.doc   @(#) 94/04/06 1.3 imp096.doc^In file included from imp096.c:5151:/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.12.sdk/usr/include/unistd.h:508:6: error: cannot apply asm label to function after its first useint      getopt(int, char * const [], const char *) __DARWIN_ALIAS(getopt);         ^                                          ~~imp096.c:5323:1: warning: '/*' within block comment [-Wcomment]/*^2 warnings and 1 error generated.make: *** [sieve] Error 1Seems to be a problem in an Xcode file….Any help grateful received!Steve___Proofpower mailing listProofpower@lemma-one.comhttp://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com___
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com


[ProofPower] Is this a MacOs 10.12 problem?

2017-02-28 Thread Steve Reeves
I couldn’t find anything later than November and about 10.11….so perhaps this 
is new…or more likely my ignorance!

Anyhow, I’m trying to install the latest PP and on running install I got this 
in the build.log file:

Building pptex dev xpp hol zed daz
if [ "${PPTARGETDIR:-}" = "" ]; \
then \
rm -rf "/Users/stever/pp"; \
fi
[ -d   "/Users/stever/pp" ] || mkdir "/Users/stever/pp"
[ -d   "/Users/stever/pp"/bin ] || mkdir "/Users/stever/pp"/bin
[ -d   "/Users/stever/pp"/etc ] || mkdir "/Users/stever/pp"/etc
[ -d   "/Users/stever/pp"/tex ] || mkdir "/Users/stever/pp"/tex
rm -f imp096.c
ln -s imp096.doc imp096.c
gcc -o sieve -DVERSION="\"3.1w7\""  imp096.c
imp096.c:60:1: warning: '/*' within block comment [-Wcomment]
/* From: imp096.doc   @(#) 94/04/06 1.3 imp096.doc
^
In file included from imp096.c:5151:
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.12.sdk/usr/include/unistd.h:508:6:
 error: cannot apply asm label to function after its first use
int  getopt(int, char * const [], const char *) __DARWIN_ALIAS(getopt);
 ^  ~~
imp096.c:5323:1: warning: '/*' within block comment [-Wcomment]
/*
^
2 warnings and 1 error generated.
make: *** [sieve] Error 1


Seems to be a problem in an Xcode file….

Any help grateful received!

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