changelog shortlog graph tags branches changeset files revisions annotate raw help

Mercurial > infra / skelfile

changeset 271: cd797f4eb846
parent: 2e100f53d0d7
child: 8314299755f9
author: Richard Westhaver <ellis@rwest.io>
date: Sun, 16 Jun 2024 19:15:28 -0400
permissions: -rw-r--r--
description: rm infra.asd
1 ;;; skelfile --- infra skelfile -*- mode: skel; -*-
2 :name "infra"
3 :author "Richard Westhaver <ellis@rwest.io>"
4 :version "0.1.0"
5 :description "The Compiler Company Infrastructure"
6 :tags (:infra)
7 :license "MPL"
8 :vc (:hg "https://vc.compiler.company/comp/infra")
9 :docs ((:org "readme"))
10 :scripts "scripts"
11 :stash #p".stash"
12 :store #p"/usr/local/store"
13 :rules
14 ((check () #$./check.sh$#)
15  (clean () #$rm -rvf .stash$#)
16  (src () #$mkdir -pv .stash/src$#)
17  (bin () #$mkdir -pv .stash/bin$#)
18  ;; src
19  (repos (src) #$cd .stash && curl -O https://packy.compiler.company/src/comp.tar.zst && \
20  unzstd comp.tar.zst && tar -xf comp.tar -C src && rm comp.tar$#)
21  (packy-repos (src) #$cd .stash && curl -O https://vc.compiler.company/src/packy.tar.zst$#)
22  ;; containers
23  (archlinux () #$podman build -f pod/Containerfile.archlinux . -t localhost/archlinux$#)
24  (alpine () #$podman build -f pod/Containerfile.alpine . -t localhost/alpine$#)
25  (ubuntu () #$podman build -f pod/Containerfile.alpine . -t localhost/alpine$#)
26  (box (archlinux) #$podman build -f pod/Containerfile.box . -t localhost/box$#)
27  (worker (alpine) #$podman build -f pod/Containerfile.worker . -t localhost/worker$#)
28  (operator (box) #$podman build -f pod/Containerfile.operator . -t localhost/operator$#)
29  (containers (archlinux alpine ubuntu box worker operator))
30  ;; programs
31  (bootstrap () #$./bootstrap.sh$#)
32  (emacs (src) #$./scripts/get-emacs.sh$#
33  #$cd .stash/src/emacs && ./autogen.sh$#
34  #$./scripts/build-emacs.sh$#)
35  (emacs-mini (src) #$./scripts/get-emacs.sh$#
36  #$cd .stash/src/emacs && ./autogen.sh$#
37  #$./scripts/build-emacs-mini.sh$#)
38  (rocksdb (src) #$scripts/get-rocksdb.sh$#
39  #$cd .stash/src/rocksdb && make shared_lib DISABLE_JEMALLOC=1$#)
40  (rocksdb-static (src) #$scripts/get-rocksdb.sh$#
41  #$cd .stash/src/rocksdb && make static_lib DISABLE_JEMALLOC=1$#)
42  (sbcl (src) #$scripts/get-sbcl.sh$#
43  #$cd .stash/src/sbcl &&
44  echo '"2.4.5"' > version.lisp-expr &&
45  ./make.sh --dynamic-space-size=8Gb --without-gencgc --with-mark-region-gc --fancy$#)
46  (sbcl-docs (sbcl) #$cd .stash/src/sbcl/doc/manual && make$#)
47  (sbcl-gencgc (src) #$cd .stash/src/sbcl &&
48  ./make.sh --dynamic-space-size=8Gb --fancy$#)
49  (sbcl-shared () #$cd .stash/src/sbcl && sh make-shared-library.sh$#)
50  (quicklisp () #$cd .stash && curl -O https://beta.quicklisp.org/quicklisp.lisp$#
51  #$./scripts/quicklisp-install.sh$#)
52  (stumpwm (src) #$./scripts/get-stumpwm.sh$#
53  #$cd .stash/src/stumpwm && ./autogen.sh && ./configure && make$#)
54  (nyxt (src) #$./scripts/get-nyxt.sh$#
55  #$cd .stash/src/nyxt && git submodule update --init && make all$#)
56  (scryer-prolog (src) #$./scripts/get-scryer-prolog.sh$#
57  #$cd .stash/src/scryer-prolog && cargo build --release$#)
58  (tree-sitter (src) #$./scripts/get-tree-sitter.sh$#)
59  (linux () #$mkdir -pv .stash/src/linux$#
60  #$gpg --export autosigner@ torvalds@ gregkh@ > .stash/src/linux/keyring.gpg$#
61  #$./scripts/get-linux.sh $(uname -r | cut -d- -f1) .stash .stash/src/linux/keyring.gpg$#
62  #$cd scripts && unxz .stash/src/linux.tar.xz &&
63  tar -xvf .stash/src/linux.tar $(uname -r | cut -d- -f1)$#
64  #$cd .stash/src/linux && make mrproper -j &&
65  zcat /proc/config.gz > .config && yes N | make localmodconfig$#)
66  (xcaddy () #$go install github.com/caddyserver/xcaddy/cmd/xcaddy@latest$#)
67  (caddy-webdav (xcaddy) #$xcaddy build --output .stash/caddy --with github.com/mholt/caddy-webdav$#)
68  (rust () #$scripts/get-rust.sh$#)
69  (rust-docs (rust) #$cd .stash/src/rust && ./x doc$#)
70  (ublk () #$scripts/get-ublksrv.sh$#
71  #$cd .stash/src/ublksrv && autoreconf -i && ./configure && make$#)
72  (ublk-install () #$cd .stash/src/ublksrv && make install$#)
73  ;; ref: https://github.com/BLAKE3-team/BLAKE3/tree/master/c#building
74  (blake3 () #$scripts/get-blake3.sh$#
75  #$cd .stash/src/blake3/c && gcc -shared -O3 -o libblake3.so blake3.c blake3_dispatch.c blake3_portable.c \
76  blake3_sse2_x86-64_unix.S blake3_sse41_x86-64_unix.S blake3_avx2_x86-64_unix.S \
77  blake3_avx512_x86-64_unix.S$#)
78  (blake3-install () #$cd .stash/src/blake3/c && cp libblake3.so /usr/local/lib/ && cp blake3.h /usr/local/include/$#)
79  ;; install
80  (tree-sitter-langs (src) #$./scripts/tree-sitter-install-langs.sh$#)
81  (cargo-tools () #$scripts/install-cargo-tools.sh$#)
82  (rustup () #$curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh -s -- -y$#)
83  (sbcl-install () #$cd .stash/src/sbcl && INSTALL_ROOT=/usr/local sh install.sh$#)
84  (emacs-install () #$cd .stash/src/emacs && make install$#)
85  (rocksdb-install () #$cd .stash/src/rocksdb && make install-shared &&
86  cp -r include/* /usr/local/include/$#)
87  (stumpwm-install () #$cd .stash/src/stumpwm && make install$#)
88  ;; dist
89  (sbcl-dist (sbcl) #$scripts/dist-sbcl-binary.sh$#)
90  (rocksdb-dist (sbcl) #$scripts/dist-rocksdb-binary.sh$#)
91  (dist (rocksdb-dist sbcl-dist) #$scripts/dist-rocksdb-source.sh
92  scripts/dist-sbcl-source.sh$#))