extra/zoneinfo/update/update.factor

   1 ! Copyright (C) 2023 Doug Coleman.
   2 ! See https://factorcode.org/license.txt for BSD license.
   3 USING: build-from-source cli.git github io.launcher kernel
   4 sequences sorting sorting.human ;
   5 IN: zoneinfo.update
   6
   7 : zoneinfo-versions ( -- seq )
   8     "eggert" "tz" "" list-repository-tags-matching
   9     tag-refs human-sort ;
  10
  11 : update-zoneinfo ( -- )
  12     "eggert" "tz" zoneinfo-versions last [
  13         { "make" "leapseconds" } run-process drop
  14         { "make" "version" } run-process drop
  15         "vocab:zoneinfo" [
  16             {
  17                 "africa"
  18                 "antarctica"
  19                 "asia"
  20                 "australasia"
  21                 "backward"
  22                 "backzone"
  23                 "calendars"
  24                 "etcetera"
  25                 "europe"
  26                 "factory"
  27                 "iso3166.tab"
  28                 "leapseconds"
  29                 "northamerica"
  30                 "southamerica"
  31                 "version"
  32                 "zone1970.tab"
  33             } copy-output-files
  34         ] with-out-directory
  35     ] with-github-worktree-tag ;