[isabelle-dev] HOL build process hangs

[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
$ISABELLE_HOME_USER/etc/settings) and with threads=4 (in the
Isabelle/jEdit / Plugins / Plugin Options / Isabelle / General -- near
the bottom).


	Makarius