Hi there, Build.log output:
sieve: using keyword file sievekeyword sieve: using keyword file hol.svf sieve: using keyword file sievekeyword sieve: using keyword file hol.svf Compiling (code) imp048.sml pp: PPHOME set by caller to /usr/local/pp pp: PATH set by caller to /home/artur/Proofpower/OpenProofPower-2.8.1a10/src:/usr/local/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/pp/bin:/root/proofpower/polyml/bin:/root/pacotes/atalhos:/root/bolsa/pp-my-commands:/usr/lib/poly:/home/artur/pacotes/jre1.5.0_05/bin:/usr/local/eclipse:/opt/jdk1.6.0_07: pp: PPDATABASEPATH set by caller to /home/artur/Proofpower/OpenProofPower-2.8.1a10/src pp: PPCOMPILER set by caller to POLYML pp: "pp-ml /home/artur/Proofpower/OpenProofPower-2.8.1a10/src/zed.polydb" exited with status 1 make[1]: *** [imp048.ldd] Error 1 make[1]: Leaving directory `/home/artur/Proofpower/OpenProofPower-2.8.1a10/src' make: *** [zed_build] Error 2 Then, ar...@firebird:~/Proofpower/OpenProofPower-2.8.1a10$ cat src/dtd048.log cat: src/dtd048.log: No such file or directory -- Artur Oliveira Gomes
_______________________________________________ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
