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? -- Regards, Piotr Trojanek _______________________________________________ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com