[isabelle-dev] Isabelle on Cygwin
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