blob: 6d853f3f8de5d0e167d4c92beb1ad688c7eec0ad (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
// 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.
#import "style.typ": cmd, project
#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):
#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`.
|
