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@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@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@r099121 /cygdrive/c/repo-isabelle $ cd isabelle Anders@r099121 /cygdrive/c/repo-isabelle/isabelle $ hg id f2e51e704a96 tip Anders@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@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@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@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 _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
