changeset 355: | 2fdc3544cde7 |
parent: | b8ba6c6ccd43 |
child: | 955afe21959d |
author: | Richard Westhaver <ellis@rwest.io> |
date: | Tue, 30 Jul 2024 19:20:40 -0400 |
permissions: | -rw-r--r-- |
description: | fixes |
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$#) |
|
353 | 23 | (install-repos-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 && \ |
339 | 27 | unzstd packy.tar.zst && tar -xf packy.tar -C ../src/ && \ |
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$#) |
353 | 41 | (build-emacs (src) #$./scripts/get-emacs.sh$# |
229 | 42 | #$cd .stash/src/emacs && ./autogen.sh$# |
230 | 43 | #$./scripts/build-emacs.sh$#) |
353 | 44 | (build-emacs-mini (src) #$./scripts/get-emacs.sh$# |
229 | 45 | #$cd .stash/src/emacs && ./autogen.sh$# |
230 | 46 | #$./scripts/build-emacs-mini.sh$#) |
353 | 47 | (build-rocksdb (src) #$scripts/get-rocksdb.sh$# |
230 | 48 | #$cd .stash/src/rocksdb && make shared_lib DISABLE_JEMALLOC=1$#) |
353 | 49 | (build-rocksdb-static (src) #$scripts/get-rocksdb.sh$# |
230 | 50 | #$cd .stash/src/rocksdb && make static_lib DISABLE_JEMALLOC=1$#) |
353 | 51 | (build-sbcl (src) #$scripts/get-sbcl.sh$# |
305 | 52 | #$cd .stash/src/sbcl |
53 | sbcl_rev=$(git rev-parse --short HEAD) |
|
352 | 54 | echo \""2.4.7:$sbcl_rev"\" > version.lisp-expr && |
229 | 55 | ./make.sh --dynamic-space-size=8Gb --without-gencgc --with-mark-region-gc --fancy$#) |
353 | 56 | (build-sbcl-docs (sbcl) #$cd .stash/src/sbcl/doc/manual && make$#) |
57 | (build-sbcl-gencgc (src) #$cd .stash/src/sbcl && |
|
299 | 58 | ./make.sh --fancy$#) |
353 | 59 | (build-sbcl-shared () #$cd .stash/src/sbcl && sh make-shared-library.sh$#) |
60 | (install-quicklisp () #$cd .stash && curl -O https://beta.quicklisp.org/quicklisp.lisp$# |
|
61 | #$./scripts/quicklisp-install.sh$#) |
|
62 | (build-stumpwm (src) #$./scripts/get-stumpwm.sh$# |
|
229 | 63 | #$cd .stash/src/stumpwm && ./autogen.sh && ./configure && make$#) |
353 | 64 | (build-nyxt (src) #$./scripts/get-nyxt.sh$# |
243 | 65 | #$cd .stash/src/nyxt && git submodule update --init && make all$#) |
353 | 66 | (build-scryer-prolog (src) #$./scripts/get-scryer-prolog.sh$# |
243 | 67 | #$cd .stash/src/scryer-prolog && cargo build --release$#) |
353 | 68 | (build-tree-sitter (src) #$./scripts/get-tree-sitter.sh$#) |
69 | (install-tree-sitter (src) #$cd .stash/src/tree-sitter && make install$#) |
|
70 | (build-linux () #$mkdir -pv .stash/src/linux$# |
|
230 | 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$#) |
|
353 | 77 | (build-xcaddy () #$go install github.com/caddyserver/xcaddy/cmd/xcaddy@latest$#) |
78 | (build-caddy (xcaddy) #$~/go/bin/xcaddy build --output .stash/bin/caddy --with github.com/mholt/caddy-webdav$#) |
|
79 | (install-caddy () #$cp .stash/bin/caddy /usr/local/bin/caddy$#) |
|
80 | (build-rust () #$scripts/get-rust.sh$#) |
|
81 | (build-rust-docs (rust) #$cd .stash/src/rust && ./x doc$#) |
|
82 | (build-ublk () #$scripts/get-ublksrv.sh$# |
|
256 | 83 | #$cd .stash/src/ublksrv && autoreconf -i && ./configure && make$#) |
353 | 84 | (install-ublk () #$cd .stash/src/ublksrv && make install$#) |
256 | 85 | ;; ref: https://github.com/BLAKE3-team/BLAKE3/tree/master/c#building |
353 | 86 | (build-blake3 () #$scripts/get-blake3.sh$# |
256 | 87 | #$cd .stash/src/blake3/c && gcc -shared -O3 -o libblake3.so blake3.c blake3_dispatch.c blake3_portable.c \ |
88 | blake3_sse2_x86-64_unix.S blake3_sse41_x86-64_unix.S blake3_avx2_x86-64_unix.S \ |
|
89 | blake3_avx512_x86-64_unix.S$#) |
|
353 | 90 | (install-blake3 () #$cd .stash/src/blake3/c && cp libblake3.so /usr/local/lib/ && cp blake3.h /usr/local/include/$#) |
234 | 91 | ;; install |
353 | 92 | (install-tree-sitter-langs (src) #$PREFIX=.stash ./scripts/tree-sitter-langs.sh$#) |
93 | (install-cargo-tools () #$scripts/install-cargo-tools.sh$#) |
|
94 | (install-rustup () #$curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh -s -- -y$#) |
|
95 | (install-sbcl () #$cd .stash/src/sbcl && INSTALL_ROOT=/usr/local sh install.sh$#) |
|
96 | (install-emacs () #$cd .stash/src/emacs && make install$#) |
|
97 | (install-rocksdb () #$cd .stash/src/rocksdb && make install-shared && |
|
232
8b62bc1ae25c
more porting over to skelfile
Richard Westhaver <ellis@rwest.io>
parents:
230
diff
changeset
|
98 | cp -r include/* /usr/local/include/$#) |
353 | 99 | (install-stumpwm () #$cd .stash/src/stumpwm && make install$#) |
260 | 100 | ;; dist |
354 | 101 | (dist-emacs-mini () #$cd .stash/src/emacs |
102 | ./make-dist --tar --no-compress |
|
355 | 103 | zstd -8 emacs-31.0.50.tar -o "../../emacs-mini.tar.zst"$#) |
354 | 104 | (dist-emacs () #$cd .stash/src/emacs |
105 | ./make-dist --tar --no-compress |
|
355 | 106 | zstd -8 emacs-31.0.50.tar -o "../../emacs.tar.zst"$#) |
353 | 107 | (dist-sbcl () #$scripts/dist-sbcl-binary.sh$#) |
354 | 108 | (dist-sbcl-source () #$scripts/dist-sbcl-binary.sh$#) |
353 | 109 | (dist-rocksdb () #$scripts/dist-rocksdb-binary.sh$#) |
110 | (dist-stumpwm () #$scripts/dist-stumpwm-binary.sh$#) |
|
354 | 111 | (dist (dist-rocksdb dist-sbcl dist-sbcl-source))) |