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.



Attachment: 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 daz
if [ "${PPTARGETDIR:-}" = "" ]; \
then \
rm -rf "/Users/stever/pp"; \
[ -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/ 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!

Proofpower mailing list

Proofpower mailing list

Reply via email to