Re: [isabelle-dev] HOL build process hangs

2018-05-03 Thread Makarius
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

Re: [isabelle-dev] HOL build process hangs

2018-05-03 Thread Lawrence Paulson
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 >

[isabelle-dev] Towards the Isabelle2018 release

2018-05-03 Thread Makarius
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

[isabelle-dev] HOL build process hangs

2018-05-03 Thread Lawrence Paulson
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

Re: [isabelle-dev] HOL build process hangs

2018-05-03 Thread Makarius
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.

Re: [isabelle-dev] HOL build process hangs

2018-05-03 Thread Makarius
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 >>

Re: [isabelle-dev] HOL build process hangs

2018-05-03 Thread Lawrence Paulson
> 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%