Dear All,

I have made some progress. However, I am stuck in another error during
installation.

Marcel

On Fri, Mar 11, 2011 at 8:54 AM, Marcel Oliveira <mar...@dimap.ufrn.br> wrote:
> Hi There,
>
> I am trying to install PP on a virtual Ubuntu machine. I must admit I
> am not a Linux user (just when I need FDR and ProofPower), that might
> have been the cause of the problem ;-)
>
> So, after using apt-get some times I think I managed to have all
> requirements to install PP. The ./configure shows me:
>
> Using /home/marcel/pp as the installation target directory
> Using Poly/ML from /usr
> Using dynamic linking for Motif
> Using 50 for the size of the labelled product cache
> Generating code to install the following packages: pptex xpp hol zed
> If you are happy with these settings, now run ./install to install ProofPower.
>
> However, installation is failing. The log is attached.
>
> Can anyone help?
>
> Cheers,
> Marcel
>

Attachment: build.log
Description: Binary data

_______________________________________________
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com

Reply via email to