Thanks Rob for sorting this out for me.
I now have ProofPower running on Ubuntu 16.04 (under VirtualBox on my
macbook).
(also under OS X, but I have other things which I can't get to work on
OS X).
16.04 works on the 12" macbook under VirtualBox but not native, though
it will boot from a flash drive but doesn't then understand the keyboard
or touchpad.
The install prescription should probably be:
libmotif-dev
polyml
libpolyml-dev
texlive-generic-recommended
but I already had texlive-full installed so I can't confirm that
texlive-generic-recommended suffices.
Roger
On 22/07/2016 12:30, Rob Arthan wrote:
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.
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
