On Thursday 13 Sep 2012 19:37, Phil Clayton wrote:
> On 12/09/12 21:05, Roger Bishop Jones wrote:
> > So far I'm not having much success on Ubuntu 12.04 (the
> > PolyML build doesn't seem to work for me).
> What error message do you get? I ask because David
> Matthews is about to release 5.5 so it would be worth
> resolving any issue there.
The build seemed to have gone through OK, though I couldn't
actually find any instructions so who knows whether I did the
I ran ./configure a few times, installing whatever it
complained of the absence of, and the ran make.
When I invoked poly it complained that it couldn't find some
Unfortunately I am now building Debian so Ubuntu 12.04 is
history and I can't check exactly what the complaint was.
> > I'm interested to know what people are actually running
> > ProofPower on these days?
> I'm using Fedora 16. Generally I've had no issue
> installing on the Fedora series of Linux provided that
> all the prerequisite packages are installed - achieved
> with the following yum/rpm commands:
Thanks for the info about Fedora 16 I will give that a go if
I don't get on with Debian. (which was suggested by jon).
Proofpower mailing list