On 03/05/18 15:34, Lawrence Paulson wrote:
>
> ISABELLE_BUILD_OPTIONS=""
>
> ML_PLATFORM="x86-darwin"
> ML_HOME="/Users/lp15/.isabelle/contrib/polyml-5.7.1-5/x86-darwin"
> ML_SYSTEM="polyml-5.7.1"
> ML_OPTIONS="-H 1000"
Lets try with ML_OPTIONS="--minheap 1500" (in
Larry
> On 3 May 2018, at 13:48, Makarius wrote:
>
> On 03/05/18 14:04, Lawrence Paulson wrote:
>>>
>>> What is your changeset id?
>>
>> ~/isabelle/Repos/src/HOL: hg id
>> 8dc792d440b9+ tip
>
> That is after my change 0acf3206a723. Did you see the problem in
>
We need to start thinking of the coming Isabelle2018.
Counting 10 months forwards from Isabelle2017, it should be published in
the first half of Aug-2018.
Counting 6 weeks backwards and taking FLoC/ITP into account,
Isabelle2018-RC1 should appear shortly before 01-Jul-2018.
I will probably
I'm encountering a strange phenomenon: the HOL build process runs for just over
two minutes (which is not long enough to complete) and then seems to stop
running, using 0.1% of the processor. I can repeat it and the same thing
happens again. Today I was lucky on the third attempt. What could
On 03/05/18 13:18, Lawrence Paulson wrote:
> I'm encountering a strange phenomenon: the HOL build process runs for just
> over two minutes (which is not long enough to complete) and then seems to
> stop running, using 0.1% of the processor. I can repeat it and the same thing
> happens again.
On 03/05/18 14:04, Lawrence Paulson wrote:
>>
>> What is your changeset id?
>
> ~/isabelle/Repos/src/HOL: hg id
> 8dc792d440b9+ tip
That is after my change 0acf3206a723. Did you see the problem in
36209dfb981e, too?
>> What are the build options, e.g. the bottom of the output of "isabelle
>>
> On 3 May 2018, at 12:56, Makarius wrote:
>
> On 03/05/18 13:18, Lawrence Paulson wrote:
>> I'm encountering a strange phenomenon: the HOL build process runs for just
>> over two minutes (which is not long enough to complete) and then seems to
>> stop running, using 0.1%