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.
__
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
Phil,
On 2 Feb 2012, at 19:36, Phil Clayton wrote:
> 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
Thanks for the tip.
>
> Also, inside use_terminal (ProofPow