<div dir="ltr">Dear Isabelle Developers,<br><br>I have issues building Pure on the current tip (<span style="font-family:monospace,monospace">ab76bd43c14a</span>) on my Windows machine. I get the following error message when calling <span style="font-family:monospace,monospace">bin/isabelle build -v Pure</span>:<br><br><span style="font-family:monospace,monospace">Started at 18 Feb 2016 15:53:20 (polyml-5.6_x86-windows on Fabians-Laptop)<br>ISABELLE_BUILD_OPTIONS=""<br><br>ISABELLE_BUILD_JAVA_OPTIONS="-Djava.awt.headless=true -Xms512m -Xmx2560m -Xss4m"<br><br>ML_PLATFORM="x86-windows"<br>ML_HOME="/cygdrive/c/Users/Fabian/.isabelle/contrib/polyml-5.6-1/x86-windows"<br>ML_SYSTEM="polyml-5.6"<br>ML_OPTIONS="-H 500 --codepage utf8"<br><br>Session Pure/Pure<br>Running Pure ...<br><br>Pure FAILED<br>(see also C:\Users\Fabian\.isabelle\heaps\polyml-5.6_x86-windows\log\Pure)<br><br><br>Finished at 18 Feb 2016 15:53:23<br>0:00:03 elapsed time<br></span><br><div>The log-file this error message references is empty. The same error occures when backtracking to commit <span style="font-family:monospace,monospace">d4e99aa28abc</span>, but commit <span style="font-family:monospace,monospace">658276428cfc </span>works fine again. Also the <span style="font-family:monospace,monospace">Isabelle2016</span>
 commit works fine since these changes were merged later. This has 
possibly something to do with the changes of the bash_process 
components.<br><br></div>My system specification:<br>Windows 8.1 Pro 64-bit, 4 GB RAM<br>Cygwin 2.3.1(0.291/5/3) x86_64<br><div><br></div><div>Does somebody have the same issue or a solution to this problem?<br></div><div><br></div>Regards, Fabian Meier<br></div>