diff options
Diffstat (limited to 'docs/typ/install.typ')
| -rw-r--r-- | docs/typ/install.typ | 23 |
1 files changed, 15 insertions, 8 deletions
diff --git a/docs/typ/install.typ b/docs/typ/install.typ index f54cda46..c293b3fb 100644 --- a/docs/typ/install.typ +++ b/docs/typ/install.typ @@ -1,16 +1,23 @@ -// 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:] + 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") -#if project.download != none [ - A static #raw(project.download.arch) binary: #link(project.download.url)[#raw(project.download.url.split("/").last())] - (sha256 #raw(project.download.sha256)). Or build it: -] - 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") |