updated to current cygwin, after 3.1.2-1 from 21-Dec-2019;
authorwenzelm
Thu Jan 16 14:07:28 2020 +0100 (5 days ago)
changeset 7138506bb82e7af2a
parent 71384 0243bf758e79
child 71386 7e8e5e1f8f90
updated to current cygwin, after 3.1.2-1 from 21-Dec-2019;
Admin/Windows/Cygwin/README
Admin/Windows/Cygwin/setup_server
Admin/components/bundled-windows
Admin/components/components.sha1
src/Pure/Admin/build_cygwin.scala
     1.1 --- a/Admin/Windows/Cygwin/README	Wed Jan 15 20:11:28 2020 +0100
     1.2 +++ b/Admin/Windows/Cygwin/README	Thu Jan 16 14:07:28 2020 +0100
     1.3 @@ -17,6 +17,7 @@
     1.4    - http://isabelle.in.tum.de/cygwin_2017  (Isabelle2017)
     1.5    - https://isabelle.sketis.net/cygwin_2018  (Isabelle2018)
     1.6    - https://isabelle.sketis.net/cygwin_2019  (Isabelle2019)
     1.7 +  - https://isabelle.sketis.net/cygwin_2020  (Isabelle2020)
     1.8  
     1.9  * Apache2 redirects for virtual host isabelle.conf:
    1.10  ```
    1.11 @@ -40,6 +41,8 @@
    1.12    Redirect /cygwin_2019/x86/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/x86/release
    1.13    Redirect /cygwin_2019/x86_64/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/x86_64/release
    1.14    Redirect /cygwin_2019/noarch/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/noarch/release
    1.15 +  Redirect /cygwin_2020/x86_64/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/x86_64/release
    1.16 +  Redirect /cygwin_2020/noarch/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/noarch/release
    1.17  ```
    1.18  
    1.19  * Quasi-component: "isabelle build_cygwin" (as Administrator)
     2.1 --- a/Admin/Windows/Cygwin/setup_server	Wed Jan 15 20:11:28 2020 +0100
     2.2 +++ b/Admin/Windows/Cygwin/setup_server	Thu Jan 16 14:07:28 2020 +0100
     2.3 @@ -18,9 +18,6 @@
     2.4    curl --fail --silent "$URL" > "$DIR"/"$(basename "$URL")" || fail "FAILED"
     2.5  }
     2.6  
     2.7 -download "$CYGWIN_MAIN/setup-x86.exe"
     2.8  download "$CYGWIN_MAIN/setup-x86_64.exe"
     2.9 -download "$CYGWIN_MIRROR/x86/setup.xz" "x86"
    2.10 -download "$CYGWIN_MIRROR/x86/setup.xz.sig" "x86"
    2.11  download "$CYGWIN_MIRROR/x86_64/setup.xz" "x86_64"
    2.12  download "$CYGWIN_MIRROR/x86_64/setup.xz.sig" "x86_64"
     3.1 --- a/Admin/components/bundled-windows	Wed Jan 15 20:11:28 2020 +0100
     3.2 +++ b/Admin/components/bundled-windows	Thu Jan 16 14:07:28 2020 +0100
     3.3 @@ -1,3 +1,3 @@
     3.4  #additional components to be bundled for release
     3.5 -cygwin-20190524
     3.6 +cygwin-20200116
     3.7  windows_app-20181006
     4.1 --- a/Admin/components/components.sha1	Wed Jan 15 20:11:28 2020 +0100
     4.2 +++ b/Admin/components/components.sha1	Thu Jan 16 14:07:28 2020 +0100
     4.3 @@ -55,6 +55,7 @@
     4.4  2aa049170e8088de59bd70eed8220f552093932d  cygwin-20190320.tar.gz
     4.5  fb898e263fcf6f847d97f564fe49ea0760bb453f  cygwin-20190322.tar.gz
     4.6  cd01fac0ab4fdb50a2bbb6416da3f15a4d540da1  cygwin-20190524.tar.gz
     4.7 +caa616fbab14c1fce790a87db5c4758c1322cf28  cygwin-20200116.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/src/Pure/Admin/build_cygwin.scala	Wed Jan 15 20:11:28 2020 +0100
     5.2 +++ b/src/Pure/Admin/build_cygwin.scala	Thu Jan 16 14:07:28 2020 +0100
     5.3 @@ -9,7 +9,7 @@
     5.4  
     5.5  object Build_Cygwin
     5.6  {
     5.7 -  val default_mirror: String = "https://isabelle.sketis.net/cygwin_2019"
     5.8 +  val default_mirror: String = "https://isabelle.sketis.net/cygwin_2020"
     5.9  
    5.10    val packages: List[String] =
    5.11      List("curl", "libgmp-devel", "nano", "perl", "perl-libwww-perl", "rlwrap", "unzip")