Re: [isabelle-dev] Formula_Derivatives FAILED: Cannot allocate memory

2016-02-19 Thread Lars Hupel
>> Try adding a --stackspace argument to reserve space for thread stacks >> and anything else. e.g. >> ML_OPTIONS="--stackspace 200M" >> This option keeps this space back whenever Poly tries to grow the heap >> to avoid the heap using all the available memory. You may need to >> experiment a bit w

Re: [isabelle-dev] Formula_Derivatives FAILED: Cannot allocate memory

2016-02-19 Thread Lars Hupel
> Try adding a --stackspace argument to reserve space for thread stacks > and anything else. e.g. > ML_OPTIONS="--stackspace 200M" > This option keeps this space back whenever Poly tries to grow the heap > to avoid the heap using all the available memory. You may need to > experiment a bit with ho

Re: [isabelle-dev] Formula_Derivatives FAILED: Cannot allocate memory

2016-02-19 Thread David Matthews
On 17/02/2016 21:47, Dmitriy Traytel wrote: ML> Exception- SysErr ("Cannot allocate memory", SOME ENOMEM) raised This looks like an attempt to allocate memory for something other than the heap. There are quite a few situations where this can happen. Try adding a --stackspace argument to res