updated cygwin;
authorwenzelm
Tue May 20 21:13:21 2014 +0200 (2014-05-20)
changeset 5702780ffda443738
parent 57026 90a3e39be0ca
child 57028 e5466055e94f
updated cygwin;
Admin/Windows/Cygwin/Cygwin-Latex-Setup.bat
Admin/Windows/Cygwin/Cygwin-Setup.bat
Admin/Windows/Cygwin/README
Admin/components/components.sha1
Admin/lib/Tools/makedist_cygwin
     1.1 --- a/Admin/Windows/Cygwin/Cygwin-Latex-Setup.bat	Tue May 20 20:05:43 2014 +0200
     1.2 +++ b/Admin/Windows/Cygwin/Cygwin-Latex-Setup.bat	Tue May 20 21:13:21 2014 +0200
     1.3 @@ -1,4 +1,4 @@
     1.4  @echo off
     1.5  
     1.6 -"%CD%\contrib\cygwin\isabelle\cygwin" --site http://isabelle.in.tum.de/cygwin_2013-1 --no-verify --only-site --local-package-dir "%TEMP%" --root "%CD%\contrib\cygwin" --packages texlive-collection-latexextra,texlive-collection-fontutils,texlive-collection-mathextra,libsasl2 --quiet-mode
     1.7 +"%CD%\contrib\cygwin\isabelle\cygwin" --site http://isabelle.in.tum.de/cygwin_2014 --no-verify --only-site --local-package-dir "%TEMP%" --root "%CD%\contrib\cygwin" --packages texlive-collection-latexextra,texlive-collection-fontutils,texlive-collection-mathextra,libsasl2 --quiet-mode
     1.8  
     2.1 --- a/Admin/Windows/Cygwin/Cygwin-Setup.bat	Tue May 20 20:05:43 2014 +0200
     2.2 +++ b/Admin/Windows/Cygwin/Cygwin-Setup.bat	Tue May 20 21:13:21 2014 +0200
     2.3 @@ -1,4 +1,4 @@
     2.4  @echo off
     2.5  
     2.6 -"%CD%\contrib\cygwin\isabelle\cygwin" --site http://isabelle.in.tum.de/cygwin_2013-1 --no-verify --only-site --local-package-dir "%TEMP%" --root "%CD%\contrib\cygwin"
     2.7 +"%CD%\contrib\cygwin\isabelle\cygwin" --site http://isabelle.in.tum.de/cygwin_2014 --no-verify --only-site --local-package-dir "%TEMP%" --root "%CD%\contrib\cygwin"
     2.8  
     3.1 --- a/Admin/Windows/Cygwin/README	Tue May 20 20:05:43 2014 +0200
     3.2 +++ b/Admin/Windows/Cygwin/README	Tue May 20 21:13:21 2014 +0200
     3.3 @@ -10,6 +10,7 @@
     3.4    http://isabelle.in.tum.de/cygwin  (Isabelle2012)
     3.5    http://isabelle.in.tum.de/cygwin_2013  (Isabelle2013)
     3.6    http://isabelle.in.tum.de/cygwin_2013-1  (Isabelle2013-1 and Isabelle2013-2)
     3.7 +  http://isabelle.in.tum.de/cygwin_2014  (Isabelle2014)
     3.8  
     3.9  * Quasi-component: "isabelle makedist_cygwin"
    3.10  
     4.1 --- a/Admin/components/components.sha1	Tue May 20 20:05:43 2014 +0200
     4.2 +++ b/Admin/components/components.sha1	Tue May 20 21:13:21 2014 +0200
     4.3 @@ -4,6 +4,7 @@
     4.4  3b44cca04855016d5f8cfb5101b2e0579ab80197  cygwin-20130117.tar.gz
     4.5  1fde9ddf0fa4f398965113d0c0c4f0e97c78d008  cygwin-20130716.tar.gz
     4.6  a03735a53c2963eb0b453f6a7282d3419f28bf38  cygwin-20130916.tar.gz
     4.7 +7470125fc46e24ee188bdaacc6d560e01b6fa839  cygwin-20140520.tar.gz
     4.8  0fe549949a025d65d52d6deca30554de8fca3b6e  e-1.5.tar.gz
     4.9  2e293256a134eb8e5b1a283361b15eb812fbfbf1  e-1.6-1.tar.gz
    4.10  e1919e72416cbd7ac8de5455caba8901acc7b44d  e-1.6-2.tar.gz
     5.1 --- a/Admin/lib/Tools/makedist_cygwin	Tue May 20 20:05:43 2014 +0200
     5.2 +++ b/Admin/lib/Tools/makedist_cygwin	Tue May 20 21:13:21 2014 +0200
     5.3 @@ -4,7 +4,7 @@
     5.4  
     5.5  ## global parameters
     5.6  
     5.7 -CYGWIN_MIRROR="http://isabelle.in.tum.de/cygwin_2013-1"
     5.8 +CYGWIN_MIRROR="http://isabelle.in.tum.de/cygwin_2014"
     5.9  
    5.10  
    5.11  ## diagnostics
    5.12 @@ -68,8 +68,6 @@
    5.13    rm "$TARGET/etc/$NAME"
    5.14  done
    5.15  
    5.16 -ln -s cygperl5_14.dll "$TARGET/bin/cygperl5_14_2.dll"
    5.17 -
    5.18  rm "$TARGET/Cygwin.bat"
    5.19  
    5.20