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?

Piotr Trojanek

Proofpower mailing list

Reply via email to