<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<p><font size="+1">Is there an easy way to disable that for testing
purposes? Some line I have to remove from a .scala file or
something?</font></p>
<p><font size="+1">Manuel</font><br>
</p>
<br>
<div class="moz-cite-prefix">On 2017-11-08 15:44, Makarius wrote:<br>
</div>
<blockquote type="cite"
cite="mid:2cc9b251-34b5-2ac7-5c14-3bd876b09e31@sketis.net">
<pre wrap="">On 08/11/17 15:39, Manuel Eberl wrote:
</pre>
<blockquote type="cite">
<blockquote type="cite">
<pre wrap="">If these crashes are happening at the end of the build process I would
suspect that it is something to do with either the data sharing or
writing out the heap image.
</pre>
</blockquote>
<pre wrap="">
Does writing out of the heap happen also when I just do "isabelle build
Pure" as opposed to "isabelle build -b Pure"? Because the "-b" has no
influence on whether it crashes or not.
</pre>
</blockquote>
<pre wrap="">
Yes, Pure always produces a heap, independently of the -b option.
Makarius
</pre>
</blockquote>
<br>
</body>
</html>