Yes, thanks: there was a typo in my list of packages: I actually used:
I expect texlive-generic-recommended would do too.
> 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
> (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
> The install prescription should probably be:
> but I already had texlive-full installed so I can't confirm that
> texlive-generic-recommended suffices.
> On 22/07/2016 12:30, Rob Arthan wrote:
>> I have now had time to build ProofPower on ubuntu 16.04. I needed to do the
>> 1) Install the following packages:
>> 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.
>>> On 21 Jul 2016, at 11:15, Rob Arthan <r...@lemma-one.com>
>>> <mailto:r...@lemma-one.com> wrote:
>>>> 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.
>>> Proofpower mailing list
>>> Proofpower@lemma-one.com <mailto:Proofpower@lemma-one.com>
> Proofpower mailing list
Proofpower mailing list