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 <[email protected]> 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 >
build.log
Description: Binary data
_______________________________________________ Proofpower mailing list [email protected] http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
