I have successfully built ProofPower with SML/NJ 110.81 which was
recently released. (That was on Fedora but any SML type errors should
be the same on different platforms.) I haven't tried earlier versions.
In the ProofPower source directory, did you run
./distclean
before rebuilding?
Phil
On 13/05/17 04:44, Hugh Anderson wrote:
Hi - I just tried using SMLNJ instead of polyML, but I got the same
error at the same place...
Cheers Hugh
On Sat, 13 May 2017, Hugh Anderson wrote:
Hi - I am trying to install ProofPower-Z using my new mac/Sierra machine,
using polyml, installed from brew: Poly/ML 5.7 Release RTS version:
X86_64-5.6
...
Hugh Anderson E-mail: [email protected]
SoC, National University of Singapore http://www.comp.nus.edu.sg/~hugh
_______________________________________________
Proofpower mailing list
[email protected]
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
_______________________________________________
Proofpower mailing list
[email protected]
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
