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 <r...@lemma-one.com> 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.
> <patch-3.1.rda.20170301>
>
>> On 1 Mar 2017, at 05:19, Steve Reeves <ste...@waikato.ac.nz
>> <mailto: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 <mailto: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
