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 <[email protected]> wrote:
>
> Roger,
>
>> On 18 Jul 2016, at 22:15, Roger Bishop Jones <[email protected]> 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
> [email protected]
> http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
_______________________________________________
Proofpower mailing list
[email protected]
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
