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

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

patch-3.1.rda.20170301
Description: Binary data

On 1 Mar 2017, at 05:19, Steve Reeves <ste...@waikato.ac.nz> 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