[isabelle-dev] Cannot execute Poly/ML in 32bit mode

Manuel Eberl eberlm at in.tum.de
Thu May 28 11:23:17 CEST 2015


I think the main (and only) problem is that it uses significantly more 
memory.

On 28/05/15 11:21, Peter Lammich wrote:
> Hi list,
>
> When I start Isabelle, I get the following warning message on the
> console:
>
> ### Cannot execute Poly/ML in 32bit mode (missing shared libraries for
> C/C++)
> ### Using bulky 64bit version of Poly/ML instead
>
> Is it a problem to use the bulky 64bit version?
>
> --
>    Peter
>
>
>
>
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev




More information about the isabelle-dev mailing list