Roger,

I have now had time to build ProofPower on ubuntu 16.04. I needed to do the 
following:

1) Install the following packages:

        libmotif-dev
        poly
        libpoly-dev
        texlive-recommended

2) Change configure so that it doesn’t fail if libpolymain is in a subdirectory 
of /usr/lib (see below)

3) Change src/xpp/xpp.mkf so that it doesn’t use -lXext or -lXp (see below)

4) Copy the app-defaults directory to my home directory (xpp wouldn’t use the 
fonts otherwise)

For (2) and (3) I’ve attached a patch. If you build poly yourself, rather than 
install the package you
might not need to do (2), but the patch does not harm.

Regards,

Rob.

diff -urP OpenProofPower-3.1w7-/configure OpenProofPower-3.1w7/configure
--- OpenProofPower-3.1w7-/configure     2016-03-12 16:40:02.000000000 +0000
+++ OpenProofPower-3.1w7/configure      2016-07-22 12:21:58.235857234 +0100
@@ -244,7 +244,8 @@
        then    give_up "The file \"$PPPOLYHOME/bin/poly\" does not exist"
        fi
        if      [ ! -f "$PPPOLYHOME"/lib/libpolymain.a -a \
-                 ! -f "$PPPOLYHOME"/lib64/libpolymain.a ]
+                 ! -f "$PPPOLYHOME"/lib64/libpolymain.a -a \
+                 ! -f "$PPPOLYHOME"/lib/*/libpolymain.a ]
        then    give_up "Cannot find libpolymain.a in "$PPPOLYHOME/lib" or 
"$PPPOLYHOME/lib64
        fi
        if      [ "$OS" = darwin ]
diff -urP OpenProofPower-3.1w7-/src/xpp/xpp.mkf 
OpenProofPower-3.1w7/src/xpp/xpp.mkf
--- OpenProofPower-3.1w7-/src/xpp/xpp.mkf       2016-03-12 16:40:02.000000000 
+0000
+++ OpenProofPower-3.1w7/src/xpp/xpp.mkf        2016-07-22 12:22:22.074677600 
+0100
@@ -57,7 +57,7 @@
                -DSLOWREGEXEC $(USERCFLAGS) -Wall -I/usr/X11R6/include
        CLIBS = $(USERCLIBS) -L/usr/X11R6/lib \
                -Wl,-B$(MOTIFLINKING) -lXm -Wl,-Bdynamic \
-               -lXp -lXt -lSM -lICE -lXext -lX11
+               -lXt -lSM -lICE  -lX11
 else
 ifeq ($(OS), darwin)
 # Mac OS X:

> On 21 Jul 2016, at 11:15, Rob Arthan <r...@lemma-one.com> wrote:
> 
> Roger,
> 
>> On 18 Jul 2016, at 22:15, Roger Bishop Jones <r...@rbjones.com> wrote:
>> 
>> I have been trying to install ProofPower on Ubuntu 16.04, without success.
>> 
>> The stumbling block comes early, in the prerequisites for installing 
>> OpenMotif, since some of these are not available in the usual repositories.
> 
> Do you need any more than libmotif-dev?  I have a kubuntu 16.04 VM but 
> unfortunately it’s not convenient for me to install all the prerequisites for 
> ProofPower on it just now. However, I installed libmotif-dev and was able to 
> build a simple motif programme and I can’t see any reason why xpp would need 
> anything more.
> 
>> 
>> If anyone figures out how to get ProofPower installed on Ubuntu 16.04 I 
>> should be pleased to know how it can be done.
> 
> I’ll try a full installation on kubuntu 16.04 when I get a moment. 
> 
> Regards,
> 
> Rob.
> _______________________________________________
> 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

Reply via email to