[isabelle-dev] Isabelle on Cygwin

Sascha Boehme boehmes at in.tum.de
Thu May 23 12:28:27 CEST 2013


Is anyone using Isabelle on Cygwin and has build an image for a recent 
Isabelle changeset? Or is Isabelle regularly build under Cygwin on any of 
the test machines?

I've installed Cygwin from scratch two days ago and downloaded Isabelle (hg 
id 5b889b1b465b). When building Pure, the PolyML process seems to hang at 
the end of building the image. The process does not use any further CPU 
resources and does not terminate. The Pure image seems to be build 
successfully, but the corresponding log file is missing.

It might well be that this is a problem with my computer configuration. 
Could anyone please try to build this Isabelle changeset (or a closely 
related one) on Cygwin and report the outcome?


More information about the isabelle-dev mailing list