Roger, Yes, thanks: there was a typo in my list of packages: I actually used:
libmotif-dev polyml libpolyml-dev texlive-latex-recommended I expect texlive-generic-recommended would do too. Regards, Rob. > On 23 Jul 2016, at 08:14, Roger Bishop Jones <r...@rbjones.com> wrote: > > 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> >>> <mailto:r...@lemma-one.com> wrote: >>> >>> Roger, >>> >>>> On 18 Jul 2016, at 22:15, Roger Bishop Jones <r...@rbjones.com> >>>> <mailto: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 <mailto:Proofpower@lemma-one.com> >>> http://lemma-one.com/mailman/listinfo/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
_______________________________________________ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com