[ProofPower] Is this a MacOs 10.12 problem?

[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

[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.20170301

in the OpenProofPower-3.1w7 directory. Let me know if you have any more problems.

Regards,

Rob.

Post by Steve Reeves
I couldn’t find anything later than November and about 10.11
.so perhaps this is new
or more likely my ignorance!
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]
^
/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
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com

[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

Post by Rob Arthan
Steve,
Not your ignorance at all. It was a change in clang that came in with Mac OS 10.11.
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.
<patch-3.1.rda.20170301>

Post by Steve Reeves
I couldn’t find anything later than November and about 10.11
.so perhaps this is new
or more likely my ignorance!
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]
^
/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
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com

[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.

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]
^
/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

Post by Rob Arthan
Steve,
Not your ignorance at all. It was a change in clang that came in with Mac OS 10.11.
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.
<patch-3.1.rda.20170301>

I couldn’t find anything later than November and about 10.11….so perhaps this is new…or more likely my ignorance!
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]
^
/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
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com

[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

Post by Rob Arthan
cp src/pptex/imp096.doc src/xpp/imp096.doc
distclean

[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" <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.

Post by 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
add_unsigned_long(TaskData*, SaveVecEntry*, SaveVecEntry*, int) in libpolyml.a(arb.o)
gcd_arbitrary(TaskData*, SaveVecEntry*, SaveVecEntry*) in libpolyml.a(arb.o)
gcd_arbitrary(TaskData*, SaveVecEntry*, SaveVecEntry*) in libpolyml.a(arb.o)
gcd_arbitrary(TaskData*, SaveVecEntry*, SaveVecEntry*) in libpolyml.a(arb.o)
mult_longc(TaskData*, SaveVecEntry*, SaveVecEntry*) in libpolyml.a(arb.o)
gcd_arbitrary(TaskData*, SaveVecEntry*, SaveVecEntry*) in libpolyml.a(arb.o)
sub_unsigned_long(TaskData*, SaveVecEntry*, SaveVecEntry*, int) in libpolyml.a(arb.o)
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

Post by Rob Arthan
cp src/pptex/imp096.doc src/xpp/imp096.doc
distclean

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