changeset 338: | 05a9e5c553f3 |
parent: | b7dd9ff3232f |
child: | b8fa25450726 |
author: | Richard Westhaver <ellis@rwest.io> |
date: | Sun, 21 Jul 2024 00:22:53 -0400 |
permissions: | -rw-r--r-- |
description: | up |
15 | 1 | ;;; skelfile --- infra skelfile -*- mode: skel; -*- |
2 | :name "infra" |
|
303
6260bd14c5b2
update author to cons, rm :docs
Richard Westhaver <ellis@rwest.io>
parents:
302
diff
changeset
|
3 | :author ("Richard Westhaver" . "richard.westhaver@gmail.com") |
19 | 4 | :version "0.1.0" |
15 | 5 | :description "The Compiler Company Infrastructure" |
224 | 6 | :tags (:infra) |
19 | 7 | :license "MPL" |
8 | :vc (:hg "https://vc.compiler.company/comp/infra") |
|
303
6260bd14c5b2
update author to cons, rm :docs
Richard Westhaver <ellis@rwest.io>
parents:
302
diff
changeset
|
9 | :components ((:org "readme")) |
225 | 10 | :scripts "scripts" |
300 | 11 | :stash ".stash" |
12 | :store "/usr/local/share/store" |
|
229 | 13 | :rules |
254 | 14 | ((check () #$./check.sh$#) |
234 | 15 | (clean () #$rm -rvf .stash$#) |
291 | 16 | (tmp () #$mkdir -pv .stash/tmp$#) |
266 | 17 | (src () #$mkdir -pv .stash/src$#) |
18 | (bin () #$mkdir -pv .stash/bin$#) |
|
19 | ;; src |
|
291 | 20 | (repos (src tmp) #$cd .stash/tmp && curl -O https://packy.compiler.company/src/comp.tar.zst && \ |
21 | unzstd comp.tar.zst && tar -xf comp.tar -C ../src && \ |
|
22 | mv ../src/hg/* ../src/ && rm -rf ../src/hg comp.tar$#) |
|
337 | 23 | (repos-install-shallow (repos) #$cd .stash/src && mv *.hg /usr/local/src/$#) |
332
6d808b5879f2
core and home rules (simple)
Richard Westhaver <ellis@rwest.io>
parents:
313
diff
changeset
|
24 | (home (src) #$hg clone https://vc.compiler.company/comp/home .stash/src/home$#) |
6d808b5879f2
core and home rules (simple)
Richard Westhaver <ellis@rwest.io>
parents:
313
diff
changeset
|
25 | (core (src) #$hg clone https://vc.compiler.company/comp/core .stash/src/core$#) |
338 | 26 | (packy-repos (src) #$cd .stash/tmp && curl -O https://packy.compiler.company/src/packy.tar.zst && \ |
313 | 27 | unzstd packy.tar.zst && tar -xf packy.tar -C src/packy && \ |
280 | 28 | rm -rf packy.tar$#) |
234 | 29 | ;; containers |
276 | 30 | (archlinux () #$podman build -f .stash/src/pod/Containerfile.archlinux . -t localhost/archlinux$#) |
31 | (alpine () #$podman build -f .stash/src/pod/Containerfile.alpine . -t localhost/alpine$#) |
|
32 | (ubuntu () #$podman build -f .stash/src/pod/Containerfile.alpine . -t localhost/alpine$#) |
|
297 | 33 | (dev () #$podman build -f .stash/src/pod/Containerfile.dev . -t localhost/dev$#) |
34 | (worker () #$podman build -f .stash/src/pod/Containerfile.worker . -t localhost/worker$#) |
|
35 | (operator () #$podman build -f .stash/src/pod/Containerfile.operator . -t localhost/operator$#) |
|
36 | (vc () #$podman build -f .stash/src/pod/Containerfile.vc . -t localhost/vc$#) |
|
37 | (core () #$podman build -f .stash/src/pod/Containerfile.core . -t localhost/core$#) |
|
38 | (containers (archlinux alpine ubuntu dev worker operator vc core)) |
|
234 | 39 | ;; programs |
256 | 40 | (bootstrap () #$./bootstrap.sh$#) |
229 | 41 | (emacs (src) #$./scripts/get-emacs.sh$# |
42 | #$cd .stash/src/emacs && ./autogen.sh$# |
|
230 | 43 | #$./scripts/build-emacs.sh$#) |
232
8b62bc1ae25c
more porting over to skelfile
Richard Westhaver <ellis@rwest.io>
parents:
230
diff
changeset
|
44 | (emacs-mini (src) #$./scripts/get-emacs.sh$# |
229 | 45 | #$cd .stash/src/emacs && ./autogen.sh$# |
230 | 46 | #$./scripts/build-emacs-mini.sh$#) |
47 | (rocksdb (src) #$scripts/get-rocksdb.sh$# |
|
48 | #$cd .stash/src/rocksdb && make shared_lib DISABLE_JEMALLOC=1$#) |
|
49 | (rocksdb-static (src) #$scripts/get-rocksdb.sh$# |
|
50 | #$cd .stash/src/rocksdb && make static_lib DISABLE_JEMALLOC=1$#) |
|
51 | (sbcl (src) #$scripts/get-sbcl.sh$# |
|
305 | 52 | #$cd .stash/src/sbcl |
53 | sbcl_rev=$(git rev-parse --short HEAD) |
|
307 | 54 | echo \""2.4.6:$sbcl_rev"\" > version.lisp-expr && |
229 | 55 | ./make.sh --dynamic-space-size=8Gb --without-gencgc --with-mark-region-gc --fancy$#) |
262 | 56 | (sbcl-docs (sbcl) #$cd .stash/src/sbcl/doc/manual && make$#) |
229 | 57 | (sbcl-gencgc (src) #$cd .stash/src/sbcl && |
299 | 58 | ./make.sh --fancy$#) |
234 | 59 | (sbcl-shared () #$cd .stash/src/sbcl && sh make-shared-library.sh$#) |
296 | 60 | (quicklisp () #$cd .stash && curl -O https://beta.quicklisp.org/quicklisp.lisp$# |
61 | #$./scripts/quicklisp-install.sh$#) |
|
230 | 62 | (stumpwm (src) #$./scripts/get-stumpwm.sh$# |
229 | 63 | #$cd .stash/src/stumpwm && ./autogen.sh && ./configure && make$#) |
243 | 64 | (nyxt (src) #$./scripts/get-nyxt.sh$# |
65 | #$cd .stash/src/nyxt && git submodule update --init && make all$#) |
|
66 | (scryer-prolog (src) #$./scripts/get-scryer-prolog.sh$# |
|
67 | #$cd .stash/src/scryer-prolog && cargo build --release$#) |
|
230 | 68 | (tree-sitter (src) #$./scripts/get-tree-sitter.sh$#) |
313 | 69 | (tree-sitter-install (src) #$cd .stash/src/tree-sitter && make install$#) |
230 | 70 | (linux () #$mkdir -pv .stash/src/linux$# |
71 | #$gpg --export autosigner@ torvalds@ gregkh@ > .stash/src/linux/keyring.gpg$# |
|
72 | #$./scripts/get-linux.sh $(uname -r | cut -d- -f1) .stash .stash/src/linux/keyring.gpg$# |
|
73 | #$cd scripts && unxz .stash/src/linux.tar.xz && |
|
74 | tar -xvf .stash/src/linux.tar $(uname -r | cut -d- -f1)$# |
|
75 | #$cd .stash/src/linux && make mrproper -j && |
|
76 | zcat /proc/config.gz > .config && yes N | make localmodconfig$#) |
|
253
ff7589f4656d
add caddy-webdav and xcaddy
Richard Westhaver <ellis@rwest.io>
parents:
243
diff
changeset
|
77 | (xcaddy () #$go install github.com/caddyserver/xcaddy/cmd/xcaddy@latest$#) |
289 | 78 | (caddy (xcaddy) #$xcaddy build --output .stash/bin/caddy --with github.com/mholt/caddy-webdav$#) |
230 | 79 | (rust () #$scripts/get-rust.sh$#) |
262 | 80 | (rust-docs (rust) #$cd .stash/src/rust && ./x doc$#) |
256 | 81 | (ublk () #$scripts/get-ublksrv.sh$# |
82 | #$cd .stash/src/ublksrv && autoreconf -i && ./configure && make$#) |
|
83 | (ublk-install () #$cd .stash/src/ublksrv && make install$#) |
|
84 | ;; ref: https://github.com/BLAKE3-team/BLAKE3/tree/master/c#building |
|
85 | (blake3 () #$scripts/get-blake3.sh$# |
|
86 | #$cd .stash/src/blake3/c && gcc -shared -O3 -o libblake3.so blake3.c blake3_dispatch.c blake3_portable.c \ |
|
87 | blake3_sse2_x86-64_unix.S blake3_sse41_x86-64_unix.S blake3_avx2_x86-64_unix.S \ |
|
88 | blake3_avx512_x86-64_unix.S$#) |
|
89 | (blake3-install () #$cd .stash/src/blake3/c && cp libblake3.so /usr/local/lib/ && cp blake3.h /usr/local/include/$#) |
|
234 | 90 | ;; install |
298 | 91 | (tree-sitter-langs (src) #$PREFIX=.stash ./scripts/tree-sitter-langs.sh$#) |
234 | 92 | (cargo-tools () #$scripts/install-cargo-tools.sh$#) |
232
8b62bc1ae25c
more porting over to skelfile
Richard Westhaver <ellis@rwest.io>
parents:
230
diff
changeset
|
93 | (rustup () #$curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh -s -- -y$#) |
8b62bc1ae25c
more porting over to skelfile
Richard Westhaver <ellis@rwest.io>
parents:
230
diff
changeset
|
94 | (sbcl-install () #$cd .stash/src/sbcl && INSTALL_ROOT=/usr/local sh install.sh$#) |
233 | 95 | (emacs-install () #$cd .stash/src/emacs && make install$#) |
232
8b62bc1ae25c
more porting over to skelfile
Richard Westhaver <ellis@rwest.io>
parents:
230
diff
changeset
|
96 | (rocksdb-install () #$cd .stash/src/rocksdb && make install-shared && |
8b62bc1ae25c
more porting over to skelfile
Richard Westhaver <ellis@rwest.io>
parents:
230
diff
changeset
|
97 | cp -r include/* /usr/local/include/$#) |
260 | 98 | (stumpwm-install () #$cd .stash/src/stumpwm && make install$#) |
99 | ;; dist |
|
294 | 100 | (emacs-mini-dist () #$scripts/dist-emacs-binary.sh emacs-mini$#) |
101 | (emacs-dist () #$scripts/dist-emacs-binary.sh$#) |
|
291 | 102 | (sbcl-dist () #$scripts/dist-sbcl-binary.sh$#) |
103 | (rocksdb-dist () #$scripts/dist-rocksdb-binary.sh$#) |
|
104 | (stumpwm-dist () #$scripts/dist-stumpwm-binary.sh$#) |
|
263 | 105 | (dist (rocksdb-dist sbcl-dist) #$scripts/dist-rocksdb-source.sh |
260 | 106 | scripts/dist-sbcl-source.sh$#)) |