subject:"\[isabelle\-dev\] Cannot execute Poly\/ML in 32bit mode"

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

2015-05-28 Thread Peter Lammich

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

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

2015-05-28 Thread Manuel Eberl

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

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

2015-05-28 Thread Makarius

On Thu, 28 May 2015, Peter Lammich wrote: 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?