Re: [ProofPower] Compiling OpenProofPower-2.9.1w5 under Ubuntu 12.04 (64bit)
On 24 Jul 2013, at 15:17, Michael Jones wrote: > Roger Bishop Jones rbjones.com> writes: > >> >> 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 >> > > > Hi there, > > Did you get anywhere with getting this to install? I have had a request to > put this on our system here and I am getting the same error. > You are using a very old version of Poly/ML and I am pretty sure that is the problem. In any case, the last few lines of the file imp001.err in the src directory will (as Roger Jones implies above) give us some more to go on. Regards, Rob. ___ 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)
Roger Bishop Jones rbjones.com> writes: > > 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 > Hi there, Did you get anywhere with getting this to install? I have had a request to put this on our system here and I am getting the same error. Thanks Michael 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 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)
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)
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)
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