Re: [ProofPower] Compiling OpenProofPower-2.9.1w5 under Ubuntu 12.04 (64bit)
On 09/05/13 23:03, Piotr Trojanek wrote: Thank you for your reply. I have groff installed, so this is not the reason. As far as I understand, the build workflow is .doc-.sml-.err. With my experience in SML I can only attach the files with indication of the problem and kindly ask for your assistance. The version of Poly/ML, as given by 'poly -v' is Poly/ML 5.2 ReleaseRTS version: X86_64-5.2.1 Sorry, I should have spotted this first time. You need PolyML 5.3 or later. You might as well use 5.4 that worked for me on Ubuntu 12.04. Since that version isn't available on the Ubuntu repository you will need to download the tarfile (from PolyML.org) and build it yourself. Roger Jones ___ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
Re: [ProofPower] Compiling OpenProofPower-2.9.1w5 under Ubuntu 12.04 (64bit)
Further to my last, this is what I did before building on Ubuntu 12.04 sudo apt-get install texlive-latex-extra texlive-fonts-extra sudo apt-get install libXp-dev libXext-dev \ libXmu-dev libXt-dev \ libxft-dev libjpeg-dev libpng12-dev sudo apt-get install libmotif4 libmotif-dev libmotif4-dbg sudo apt-get install splint groff sudo apt-get install autoconf sudo apt-get install g++ You don't need all that for PolyML and ProofPower (probably not the texlive extra stuff, but that's probably the only large item you don't need). Sorry I can't be more definite, I found it hard to figure out what I needed for PolyML, the configure script tells you a lot about what is there and what isn't but its not so clear which items are actually necessary. Roger Jones ___ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
Re: [ProofPower] Compiling OpenProofPower-2.9.1w5 under Ubuntu 12.04 (64bit)
Dear Piotr, Two years ago I wrote a script in order to automate the ProofPower install process on Ubuntu. I'm sending it so you can give a try. At that time, I used Ubuntu 10.10. After the last message sent from Roger, I slightly updated a few apt files needed. I'm sending the script to you. It should be able to run with no problems. All you need is to have super user permissions (sudo) and place it in the directory you want to have ProofPower installed. Then you only have to do the following: # chmod +x install-proofpower-ubuntu.sh # ./install-proofpower-ubuntu.sh Should you have any problems with the palette, send us an email. ;) Cheers, -- Artur Oliveira Gomes Professor - Sistemas de Informação Universidade Federal do Mato Grosso do Sul On 10 May 2013 08:18, Roger Bishop Jones r...@rbjones.com wrote: Further to my last, this is what I did before building on Ubuntu 12.04 sudo apt-get install texlive-latex-extra texlive-fonts-extra sudo apt-get install libXp-dev libXext-dev \ libXmu-dev libXt-dev \ libxft-dev libjpeg-dev libpng12-dev sudo apt-get install libmotif4 libmotif-dev libmotif4-dbg sudo apt-get install splint groff sudo apt-get install autoconf sudo apt-get install g++ You don't need all that for PolyML and ProofPower (probably not the texlive extra stuff, but that's probably the only large item you don't need). Sorry I can't be more definite, I found it hard to figure out what I needed for PolyML, the configure script tells you a lot about what is there and what isn't but its not so clear which items are actually necessary. Roger Jones ___ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com install-proofpower-ubuntu.sh Description: Bourne shell script ___ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
Re: [ProofPower] Compiling OpenProofPower-2.9.1w5 under Ubuntu 12.04 (64bit)
On 09/05/13 15:16, Piotr Trojanek wrote: Dear ProofPower experts, I triy to install the latest OpenProofPower under Ubuntu 12.04, but it fails with the (somewhat cryptic) tail of build.log: docsml -f hol.svf imp001 Compiling (code) imp001.sml make[1]: *** [imp001.ldd] Error 1 My setup details: polyml, libpolyml1, libpolyml-dev from the standard Ubuntu repository (5.2.1-1). GCC 4.7.3 (ppa:ubuntu-toolchain-r/test). Any advice? You need also to install groff, that might be your problem. To get more info on the cause of the failure you should look at the file imp001.err. Roger Jones ___ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com