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