[isabelle-dev] Building Pure on Windows

Fabian Meier meiefabi at student.ethz.ch
Thu Feb 18 16:13:42 CET 2016

Dear Isabelle Developers,

I have issues building Pure on the current tip (ab76bd43c14a) on my Windows
machine. I get the following error message when calling bin/isabelle build
-v Pure:

Started at 18 Feb 2016 15:53:20 (polyml-5.6_x86-windows on Fabians-Laptop)

ISABELLE_BUILD_JAVA_OPTIONS="-Djava.awt.headless=true -Xms512m -Xmx2560m

ML_OPTIONS="-H 500 --codepage utf8"

Session Pure/Pure
Running Pure ...

(see also C:\Users\Fabian\.isabelle\heaps\polyml-5.6_x86-windows\log\Pure)

Finished at 18 Feb 2016 15:53:23
0:00:03 elapsed time

The log-file this error message references is empty. The same error occures
when backtracking to commit d4e99aa28abc, but commit 658276428cfc works
fine again. Also the Isabelle2016 commit works fine since these changes
were merged later. This has possibly something to do with the changes of
the bash_process components.

My system specification:
Windows 8.1 Pro 64-bit, 4 GB RAM
Cygwin 2.3.1(0.291/5/3) x86_64

Does somebody have the same issue or a solution to this problem?

Regards, Fabian Meier
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20160218/b8ac0755/attachment.html>

More information about the isabelle-dev mailing list