src/Pure/Admin/component_stack.scala
changeset 80075 09e9819beef6
parent 79991 99511fa536a1
child 81977 2947ba9c56f7
equal deleted inserted replaced
80074:951c371c1cd9 80075:09e9819beef6
    27 
    27 
    28 
    28 
    29   /* build stack */
    29   /* build stack */
    30 
    30 
    31   val default_url = "https://github.com/commercialhaskell/stack/releases/download"
    31   val default_url = "https://github.com/commercialhaskell/stack/releases/download"
    32   val default_version = "2.15.3"
    32   val default_version = "2.15.5"
    33 
    33 
    34   def build_stack(
    34   def build_stack(
    35     base_url: String = default_url,
    35     base_url: String = default_url,
    36     version: String = default_version,
    36     version: String = default_version,
    37     target_dir: Path = Path.current,
    37     target_dir: Path = Path.current,