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 <ste...@waikato.ac.nz> 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 <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> 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
