diff options
Diffstat (limited to 'docs/typ/install.typ')
| -rw-r--r-- | docs/typ/install.typ | 22 |
1 files changed, 17 insertions, 5 deletions
diff --git a/docs/typ/install.typ b/docs/typ/install.typ index 6d853f3f..9758777d 100644 --- a/docs/typ/install.typ +++ b/docs/typ/install.typ @@ -1,13 +1,25 @@ -// Installing pardes: the clone and the build, included by setup.typ and by -// the site's landing page, so it is written once. The mirrors come from -// `project` in style.typ. +// 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 (#str(calc.round(f.bytes / 1000000)) MB):] + 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") -Every mirror holds the same tree: #project.mirrors.map(m => link(m.web, m.name)).join(", "). -With Zig 0.16 (the build fetches everything else): +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`. |