// Installing pardes: the downloads, else the clone and the build, included
// by setup.typ and by the site's landing page, so it is written once. The
// downloads and the mirrors come from `project` in style.typ.
#import "style.typ": cmd, project

#if project.download != none {
  let d = project.download
  for f in d.files {
    let name = f.url.split("/").last()
    [pardes #d.version, #f.what:]
    cmd("curl -LO " + f.url + "\necho '" + f.sha256 + "  " + name + "' | sha256sum -c\nchmod +x " + name + " && mv " + name + " ~/.local/bin/" + f.program)
  }
  [The checksums are also in #link(d.sums)[`SHA256SUMS`].]
  parbreak()
  [Or build it from source:]
}

#let first = project.mirrors.first()
#cmd("git clone " + first.clone + " && cd pardes")

With Zig 0.16 (the build fetches everything else; once that is
downloaded, a first build from a clean cache took 62 seconds on 16 cores):
#cmd("# pardes, in a terminal\nzig build -Dplatform=tty --prefix ~/.local")
#cmd("# pardes-gui, its own window\nzig build -Dplatform=gui --prefix ~/.local")
Then run `pardes` or `pardes FILE`.