changeset 370: | 6b92d9ffbc77 |
parent: | 43afcbbe2d07 |
author: | Richard Westhaver <ellis@rwest.io> |
date: | Tue, 24 Sep 2024 15:04:11 -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" |
363 | 8 | :vc (:hg "https://vc.compiler.company/infra") |
358 | 9 | :include ("pod/skelfile") |
368 | 10 | :components ((:org "readme") |
11 | (:mod "scripts")) |
|
300 | 12 | :stash ".stash" |
13 | :store "/usr/local/share/store" |
|
229 | 14 | :rules |
254 | 15 | ((check () #$./check.sh$#) |
234 | 16 | (clean () #$rm -rvf .stash$#) |
291 | 17 | (tmp () #$mkdir -pv .stash/tmp$#) |
266 | 18 | (src () #$mkdir -pv .stash/src$#) |
19 | (bin () #$mkdir -pv .stash/bin$#) |
|
20 | ;; src |
|
291 | 21 | (repos (src tmp) #$cd .stash/tmp && curl -O https://packy.compiler.company/src/comp.tar.zst && \ |
22 | unzstd comp.tar.zst && tar -xf comp.tar -C ../src && \ |
|
23 | mv ../src/hg/* ../src/ && rm -rf ../src/hg comp.tar$#) |
|
353 | 24 | (install-repos-shallow (repos) #$cd .stash/src && mv *.hg /usr/local/src/$#) |
363 | 25 | (home (src) #$hg clone https://vc.compiler.company/home .stash/src/home$#) |
26 | (core (src) #$hg clone https://vc.compiler.company/core .stash/src/core$#) |
|
338 | 27 | (packy-repos (src) #$cd .stash/tmp && curl -O https://packy.compiler.company/src/packy.tar.zst && \ |
339 | 28 | unzstd packy.tar.zst && tar -xf packy.tar -C ../src/ && \ |
280 | 29 | rm -rf packy.tar$#) |
234 | 30 | ;; containers |
276 | 31 | (archlinux () #$podman build -f .stash/src/pod/Containerfile.archlinux . -t localhost/archlinux$#) |
32 | (alpine () #$podman build -f .stash/src/pod/Containerfile.alpine . -t localhost/alpine$#) |
|
33 | (ubuntu () #$podman build -f .stash/src/pod/Containerfile.alpine . -t localhost/alpine$#) |
|
297 | 34 | (dev () #$podman build -f .stash/src/pod/Containerfile.dev . -t localhost/dev$#) |
35 | (worker () #$podman build -f .stash/src/pod/Containerfile.worker . -t localhost/worker$#) |
|
36 | (operator () #$podman build -f .stash/src/pod/Containerfile.operator . -t localhost/operator$#) |
|
37 | (vc () #$podman build -f .stash/src/pod/Containerfile.vc . -t localhost/vc$#) |
|
38 | (core () #$podman build -f .stash/src/pod/Containerfile.core . -t localhost/core$#) |
|
39 | (containers (archlinux alpine ubuntu dev worker operator vc core)) |
|
234 | 40 | ;; programs |
256 | 41 | (bootstrap () #$./bootstrap.sh$#) |
353 | 42 | (build-emacs (src) #$./scripts/get-emacs.sh$# |
229 | 43 | #$cd .stash/src/emacs && ./autogen.sh$# |
230 | 44 | #$./scripts/build-emacs.sh$#) |
353 | 45 | (build-emacs-mini (src) #$./scripts/get-emacs.sh$# |
229 | 46 | #$cd .stash/src/emacs && ./autogen.sh$# |
230 | 47 | #$./scripts/build-emacs-mini.sh$#) |
353 | 48 | (build-rocksdb (src) #$scripts/get-rocksdb.sh$# |
230 | 49 | #$cd .stash/src/rocksdb && make shared_lib DISABLE_JEMALLOC=1$#) |
353 | 50 | (build-rocksdb-static (src) #$scripts/get-rocksdb.sh$# |
230 | 51 | #$cd .stash/src/rocksdb && make static_lib DISABLE_JEMALLOC=1$#) |
353 | 52 | (build-sbcl (src) #$scripts/get-sbcl.sh$# |
305 | 53 | #$cd .stash/src/sbcl |
54 | sbcl_rev=$(git rev-parse --short HEAD) |
|
366 | 55 | echo \""2.4.8:$sbcl_rev"\" > version.lisp-expr && |
229 | 56 | ./make.sh --dynamic-space-size=8Gb --without-gencgc --with-mark-region-gc --fancy$#) |
353 | 57 | (build-sbcl-docs (sbcl) #$cd .stash/src/sbcl/doc/manual && make$#) |
58 | (build-sbcl-gencgc (src) #$cd .stash/src/sbcl && |
|
299 | 59 | ./make.sh --fancy$#) |
353 | 60 | (build-sbcl-shared () #$cd .stash/src/sbcl && sh make-shared-library.sh$#) |
61 | (install-quicklisp () #$cd .stash && curl -O https://beta.quicklisp.org/quicklisp.lisp$# |
|
62 | #$./scripts/quicklisp-install.sh$#) |
|
63 | (build-stumpwm (src) #$./scripts/get-stumpwm.sh$# |
|
229 | 64 | #$cd .stash/src/stumpwm && ./autogen.sh && ./configure && make$#) |
353 | 65 | (build-nyxt (src) #$./scripts/get-nyxt.sh$# |
243 | 66 | #$cd .stash/src/nyxt && git submodule update --init && make all$#) |
353 | 67 | (build-scryer-prolog (src) #$./scripts/get-scryer-prolog.sh$# |
243 | 68 | #$cd .stash/src/scryer-prolog && cargo build --release$#) |
353 | 69 | (build-tree-sitter (src) #$./scripts/get-tree-sitter.sh$#) |
70 | (install-tree-sitter (src) #$cd .stash/src/tree-sitter && make install$#) |
|
71 | (build-linux () #$mkdir -pv .stash/src/linux$# |
|
230 | 72 | #$gpg --export autosigner@ torvalds@ gregkh@ > .stash/src/linux/keyring.gpg$# |
73 | #$./scripts/get-linux.sh $(uname -r | cut -d- -f1) .stash .stash/src/linux/keyring.gpg$# |
|
74 | #$cd scripts && unxz .stash/src/linux.tar.xz && |
|
75 | tar -xvf .stash/src/linux.tar $(uname -r | cut -d- -f1)$# |
|
76 | #$cd .stash/src/linux && make mrproper -j && |
|
77 | zcat /proc/config.gz > .config && yes N | make localmodconfig$#) |
|
353 | 78 | (build-xcaddy () #$go install github.com/caddyserver/xcaddy/cmd/xcaddy@latest$#) |
79 | (build-caddy (xcaddy) #$~/go/bin/xcaddy build --output .stash/bin/caddy --with github.com/mholt/caddy-webdav$#) |
|
80 | (install-caddy () #$cp .stash/bin/caddy /usr/local/bin/caddy$#) |
|
81 | (build-rust () #$scripts/get-rust.sh$#) |
|
82 | (build-rust-docs (rust) #$cd .stash/src/rust && ./x doc$#) |
|
83 | (build-ublk () #$scripts/get-ublksrv.sh$# |
|
256 | 84 | #$cd .stash/src/ublksrv && autoreconf -i && ./configure && make$#) |
353 | 85 | (install-ublk () #$cd .stash/src/ublksrv && make install$#) |
256 | 86 | ;; ref: https://github.com/BLAKE3-team/BLAKE3/tree/master/c#building |
353 | 87 | (build-blake3 () #$scripts/get-blake3.sh$# |
256 | 88 | #$cd .stash/src/blake3/c && gcc -shared -O3 -o libblake3.so blake3.c blake3_dispatch.c blake3_portable.c \ |
89 | blake3_sse2_x86-64_unix.S blake3_sse41_x86-64_unix.S blake3_avx2_x86-64_unix.S \ |
|
90 | blake3_avx512_x86-64_unix.S$#) |
|
353 | 91 | (install-blake3 () #$cd .stash/src/blake3/c && cp libblake3.so /usr/local/lib/ && cp blake3.h /usr/local/include/$#) |
234 | 92 | ;; install |
370 | 93 | (install-tree-sitter-langs (src) #$./scripts/tree-sitter-langs.sh$#) |
353 | 94 | (install-cargo-tools () #$scripts/install-cargo-tools.sh$#) |
95 | (install-rustup () #$curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh -s -- -y$#) |
|
96 | (install-sbcl () #$cd .stash/src/sbcl && INSTALL_ROOT=/usr/local sh install.sh$#) |
|
97 | (install-emacs () #$cd .stash/src/emacs && make install$#) |
|
98 | (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
|
99 | cp -r include/* /usr/local/include/$#) |
353 | 100 | (install-stumpwm () #$cd .stash/src/stumpwm && make install$#) |
260 | 101 | ;; dist |
354 | 102 | (dist-emacs-mini () #$cd .stash/src/emacs |
356 | 103 | ./make-dist --tar --no-compress --no-info --no-changelog |
355 | 104 | zstd -8 emacs-31.0.50.tar -o "../../emacs-mini.tar.zst"$#) |
354 | 105 | (dist-emacs () #$cd .stash/src/emacs |
106 | ./make-dist --tar --no-compress |
|
355 | 107 | zstd -8 emacs-31.0.50.tar -o "../../emacs.tar.zst"$#) |
353 | 108 | (dist-sbcl () #$scripts/dist-sbcl-binary.sh$#) |
354 | 109 | (dist-sbcl-source () #$scripts/dist-sbcl-binary.sh$#) |
353 | 110 | (dist-rocksdb () #$scripts/dist-rocksdb-binary.sh$#) |
111 | (dist-stumpwm () #$scripts/dist-stumpwm-binary.sh$#) |
|
354 | 112 | (dist (dist-rocksdb dist-sbcl dist-sbcl-source))) |