I meant to add that SML/NJ is 32 bit only so requires 32 bit libraries
to build/run. On an x86_64 Fedora this can be achieved with
yum install glibc-devel.i686 libgcc.i686
Also, inside use_terminal (ProofPower's real-eval-print loop), SML/NJ
appears to require an additional semicolon before the standard output is
flushed to the screen. It's only an issue if people are actually using
SML/NJ interactively.
Phil
On 02/02/12 11:52, Rob Arthan wrote:
On 31 Jan 2012, at 23:39, Phil Clayton wrote:
Currently ProofPower doesn't build with SML/NJ. A patch is attached to
fix this.
Thanks for that Phil. I will include this in the next release. Good to
see that the SML/NJ people seem to be active again.
Regards,
Rob.
_______________________________________________
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
_______________________________________________
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com