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:
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
