src/Pure/Admin/build_cygwin.scala
changeset 72361 178cbf89780e
parent 72036 e48a5b6b7554
child 72375 e48d93811ed7
equal deleted inserted replaced
72360:1f03cc073046 72361:178cbf89780e
     7 package isabelle
     7 package isabelle
     8 
     8 
     9 
     9 
    10 object Build_Cygwin
    10 object Build_Cygwin
    11 {
    11 {
    12   val default_mirror: String = "https://isabelle.sketis.net/cygwin_2020"
    12   val default_mirror: String = "https://isabelle.sketis.net/cygwin_2021"
    13 
    13 
    14   val packages: List[String] =
    14   val packages: List[String] =
    15     List("curl", "libgmp-devel", "nano", "perl", "perl-libwww-perl", "rlwrap", "unzip")
    15     List("curl", "libgmp-devel", "nano", "perl", "perl-libwww-perl", "rlwrap", "unzip")
    16 
    16 
    17   def build_cygwin(progress: Progress,
    17   def build_cygwin(progress: Progress,