[isabelle-dev] Repository version of Isabelle on Windows 7

[Anders Schlichtkrull]

I am trying to install the repository version (f2e51e704a96) of Isabelle on Windows 7 using Cygwin by following README_REPOSITORY.

Cygwin with Perl and Mercurial are installed, so I follow step 2 of README_REPOSITORY:

Anders at r099121 /cygdrive/c/repo-isabelle
$ uname -a
CYGWIN_NT-6.1-WOW r099121 2.2.1(0.289/5/3) 2015-08-20 11:40 i686 Cygwin

Anders at r099121 /cygdrive/c/repo-isabelle
$ hg clone http://isabelle.in.tum.de/repos/isabelle
destination directory: isabelle
requesting all changes
adding changesets
adding manifests
adding file changes
added 61525 changesets with 165242 changes to 10175 files
updating to branch default
3101 files updated, 0 files merged, 0 files removed, 0 files unresolved

Anders at r099121 /cygdrive/c/repo-isabelle
$ cd isabelle

Anders at r099121 /cygdrive/c/repo-isabelle/isabelle
$ hg id
f2e51e704a96 tip

Anders at r099121 /cygdrive/c/repo-isabelle/isabelle
$ ./bin/isabelle components -I
### Missing Isabelle component: "/cygdrive/c/Users/Anders/.isabelle/contrib/csdp-6.x"
### Missing Isabelle component: "/cygdrive/c/Users/Anders/.isabelle/contrib/cvc4-1.5pre-2"
### Missing Isabelle component: "/cygdrive/c/Users/Anders/.isabelle/contrib/e-1.8"
### Missing Isabelle component: "/cygdrive/c/Users/Anders/.isabelle/contrib/exec_process-1.0.3"
### Missing Isabelle component: "/cygdrive/c/Users/Anders/.isabelle/contrib/Haskabelle-2015"
### Missing Isabelle component: "/cygdrive/c/Users/Anders/.isabelle/contrib/isabelle_fonts-20151021"
### Missing Isabelle component: "/cygdrive/c/Users/Anders/.isabelle/contrib/jdk-8u66"
### Missing Isabelle component: "/cygdrive/c/Users/Anders/.isabelle/contrib/jedit_build-20151023"
### Missing Isabelle component: "/cygdrive/c/Users/Anders/.isabelle/contrib/jfreechart-1.0.14-1"
### Missing Isabelle component: "/cygdrive/c/Users/Anders/.isabelle/contrib/jortho-1.0-2"
### Missing Isabelle component: "/cygdrive/c/Users/Anders/.isabelle/contrib/kodkodi-1.5.2"
### Missing Isabelle component: "/cygdrive/c/Users/Anders/.isabelle/contrib/polyml-5.5.3-20150916"
### Missing Isabelle component: "/cygdrive/c/Users/Anders/.isabelle/contrib/scala-2.11.7"
### Missing Isabelle component: "/cygdrive/c/Users/Anders/.isabelle/contrib/spass-3.8ds"
### Missing Isabelle component: "/cygdrive/c/Users/Anders/.isabelle/contrib/xz-java-1.2-1"
### Missing Isabelle component: "/cygdrive/c/Users/Anders/.isabelle/contrib/z3-4.4.0pre"
User settings file already exists!

Edit "/cygdrive/c/Users/Anders/.isabelle/etc/settings" manually
and add the following line near its start:

  init_components "$USER_HOME/.isabelle/contrib" "$ISABELLE_HOME/Admin/components/main"


Anders at r099121 /cygdrive/c/repo-isabelle/isabelle
$ cat /cygdrive/c/Users/Anders/.isabelle/etc/settings
init_components "$USER_HOME/.isabelle/contrib" "$ISABELLE_HOME/Admin/components/main"

Anders at r099121 /cygdrive/c/repo-isabelle/isabelle
$ ./bin/isabelle components -a
### Missing Isabelle component: "/cygdrive/c/Users/Anders/.isabelle/contrib/csdp-6.x"
### Missing Isabelle component: "/cygdrive/c/Users/Anders/.isabelle/contrib/cvc4-1.5pre-2"
### Missing Isabelle component: "/cygdrive/c/Users/Anders/.isabelle/contrib/e-1.8"
### Missing Isabelle component: "/cygdrive/c/Users/Anders/.isabelle/contrib/exec_process-1.0.3"
### Missing Isabelle component: "/cygdrive/c/Users/Anders/.isabelle/contrib/Haskabelle-2015"
### Missing Isabelle component: "/cygdrive/c/Users/Anders/.isabelle/contrib/isabelle_fonts-20151021"
### Missing Isabelle component: "/cygdrive/c/Users/Anders/.isabelle/contrib/jdk-8u66"
### Missing Isabelle component: "/cygdrive/c/Users/Anders/.isabelle/contrib/jedit_build-20151023"
### Missing Isabelle component: "/cygdrive/c/Users/Anders/.isabelle/contrib/jfreechart-1.0.14-1"
### Missing Isabelle component: "/cygdrive/c/Users/Anders/.isabelle/contrib/jortho-1.0-2"
### Missing Isabelle component: "/cygdrive/c/Users/Anders/.isabelle/contrib/kodkodi-1.5.2"
### Missing Isabelle component: "/cygdrive/c/Users/Anders/.isabelle/contrib/polyml-5.5.3-20150916"
### Missing Isabelle component: "/cygdrive/c/Users/Anders/.isabelle/contrib/scala-2.11.7"
### Missing Isabelle component: "/cygdrive/c/Users/Anders/.isabelle/contrib/spass-3.8ds"
### Missing Isabelle component: "/cygdrive/c/Users/Anders/.isabelle/contrib/xz-java-1.2-1"
### Missing Isabelle component: "/cygdrive/c/Users/Anders/.isabelle/contrib/z3-4.4.0pre"
Unpacking "/cygdrive/c/Users/Anders/.isabelle/contrib/csdp-6.x.tar.gz"
tar: This does not look like a tar archive

gzip: stdin: unexpected end of file
tar: Child returned status 1
tar: Error is not recoverable: exiting now

Anders at r099121 /cygdrive/c/repo-isabelle/isabelle
$


You see that I get an error. Why does this happen and what can I do to solve the problem?

Cheers and thanks,
Anders Schlichtkrull