changelog shortlog graph tags branches changeset files file revisions raw help

Mercurial > infra / annotate skelfile

changeset 359: 9fc8fc324c10
parent: 0b9c40ef4849
child: f35358f2f4ff
author: Richard Westhaver <ellis@rwest.io>
date: Sun, 25 Aug 2024 00:13:49 -0400
permissions: -rw-r--r--
description: add org-graph-db-init script
15
17a70918610c scripts
ellis <ellis@rwest.io>
parents:
diff changeset
1
 ;;; skelfile --- infra skelfile -*- mode: skel; -*-
17a70918610c scripts
ellis <ellis@rwest.io>
parents:
diff changeset
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
9b2e35556a96 skelfile
ellis <ellis@rwest.io>
parents: 15
diff changeset
4
 :version "0.1.0"
15
17a70918610c scripts
ellis <ellis@rwest.io>
parents:
diff changeset
5
 :description "The Compiler Company Infrastructure"
224
3d36aef02f8f skelfile
Richard Westhaver <ellis@rwest.io>
parents: 198
diff changeset
6
 :tags (:infra)
19
9b2e35556a96 skelfile
ellis <ellis@rwest.io>
parents: 15
diff changeset
7
 :license "MPL"
9b2e35556a96 skelfile
ellis <ellis@rwest.io>
parents: 15
diff changeset
8
 :vc (:hg "https://vc.compiler.company/comp/infra")
358
0b9c40ef4849 include pod skelfile
Richard Westhaver <ellis@rwest.io>
parents: 357
diff changeset
9
 :include ("pod/skelfile")
303
6260bd14c5b2 update author to cons, rm :docs
Richard Westhaver <ellis@rwest.io>
parents: 302
diff changeset
10
 :components ((:org "readme"))
225
9457c6b0f30c update skelfile
Richard Westhaver <ellis@rwest.io>
parents: 224
diff changeset
11
 :scripts "scripts"
300
070a5baf24b9 imports -> include
Richard Westhaver <ellis@rwest.io>
parents: 299
diff changeset
12
 :stash ".stash"
070a5baf24b9 imports -> include
Richard Westhaver <ellis@rwest.io>
parents: 299
diff changeset
13
 :store "/usr/local/share/store"
357
Richard Westhaver <ellis@rwest.io>
parents: 356
diff changeset
14
 :env (STASH STORE)
229
989b1b4782dc scripts update
Richard Westhaver <ellis@rwest.io>
parents: 225
diff changeset
15
 :rules
254
e2b8d0be0d24 autogen updates
Richard Westhaver <ellis@rwest.io>
parents: 253
diff changeset
16
 ((check () #$./check.sh$#)
234
3b735bfbd5f0 bundle updates
Richard Westhaver <ellis@rwest.io>
parents: 233
diff changeset
17
  (clean () #$rm -rvf .stash$#)
291
Richard Westhaver <ellis@rwest.io>
parents: 289
diff changeset
18
  (tmp () #$mkdir -pv .stash/tmp$#)
266
0e3229b8409f autogen src
Richard Westhaver <ellis@rwest.io>
parents: 263
diff changeset
19
  (src () #$mkdir -pv .stash/src$#)
0e3229b8409f autogen src
Richard Westhaver <ellis@rwest.io>
parents: 263
diff changeset
20
  (bin () #$mkdir -pv .stash/bin$#)
0e3229b8409f autogen src
Richard Westhaver <ellis@rwest.io>
parents: 263
diff changeset
21
  ;; src
291
Richard Westhaver <ellis@rwest.io>
parents: 289
diff changeset
22
  (repos (src tmp) #$cd .stash/tmp && curl -O https://packy.compiler.company/src/comp.tar.zst && \
Richard Westhaver <ellis@rwest.io>
parents: 289
diff changeset
23
         unzstd comp.tar.zst && tar -xf comp.tar -C ../src && \
Richard Westhaver <ellis@rwest.io>
parents: 289
diff changeset
24
         mv ../src/hg/* ../src/ && rm -rf ../src/hg comp.tar$#)
353
de2ee463ac92 apply skelfile updates
Richard Westhaver <ellis@rwest.io>
parents: 352
diff changeset
25
  (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
26
  (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
27
  (core (src) #$hg clone https://vc.compiler.company/comp/core .stash/src/core$#)
338
Richard Westhaver <ellis@rwest.io>
parents: 337
diff changeset
28
  (packy-repos (src) #$cd .stash/tmp && curl -O https://packy.compiler.company/src/packy.tar.zst && \
339
Richard Westhaver <ellis@rwest.io>
parents: 338
diff changeset
29
               unzstd packy.tar.zst && tar -xf packy.tar -C ../src/ && \
280
98c3d10d16df fix bundle
Richard Westhaver <ellis@rwest.io>
parents: 279
diff changeset
30
               rm -rf packy.tar$#)
234
3b735bfbd5f0 bundle updates
Richard Westhaver <ellis@rwest.io>
parents: 233
diff changeset
31
  ;; containers
276
Richard Westhaver <ellis@rwest.io>
parents: 275
diff changeset
32
  (archlinux () #$podman build -f .stash/src/pod/Containerfile.archlinux . -t localhost/archlinux$#)
Richard Westhaver <ellis@rwest.io>
parents: 275
diff changeset
33
  (alpine () #$podman build -f .stash/src/pod/Containerfile.alpine . -t localhost/alpine$#)
Richard Westhaver <ellis@rwest.io>
parents: 275
diff changeset
34
  (ubuntu () #$podman build -f .stash/src/pod/Containerfile.alpine . -t localhost/alpine$#)
297
06131ebff5cd box -> dev
Richard Westhaver <ellis@rwest.io>
parents: 296
diff changeset
35
  (dev () #$podman build -f .stash/src/pod/Containerfile.dev . -t localhost/dev$#)
06131ebff5cd box -> dev
Richard Westhaver <ellis@rwest.io>
parents: 296
diff changeset
36
  (worker () #$podman build -f .stash/src/pod/Containerfile.worker . -t localhost/worker$#)
06131ebff5cd box -> dev
Richard Westhaver <ellis@rwest.io>
parents: 296
diff changeset
37
  (operator () #$podman build -f .stash/src/pod/Containerfile.operator . -t localhost/operator$#)
06131ebff5cd box -> dev
Richard Westhaver <ellis@rwest.io>
parents: 296
diff changeset
38
  (vc () #$podman build -f .stash/src/pod/Containerfile.vc . -t localhost/vc$#)
06131ebff5cd box -> dev
Richard Westhaver <ellis@rwest.io>
parents: 296
diff changeset
39
  (core () #$podman build -f .stash/src/pod/Containerfile.core . -t localhost/core$#)
06131ebff5cd box -> dev
Richard Westhaver <ellis@rwest.io>
parents: 296
diff changeset
40
  (containers (archlinux alpine ubuntu dev worker operator vc core))
234
3b735bfbd5f0 bundle updates
Richard Westhaver <ellis@rwest.io>
parents: 233
diff changeset
41
  ;; programs
256
9d6a767d72f0 add ublksrv and blake3
Richard Westhaver <ellis@rwest.io>
parents: 255
diff changeset
42
  (bootstrap () #$./bootstrap.sh$#)
353
de2ee463ac92 apply skelfile updates
Richard Westhaver <ellis@rwest.io>
parents: 352
diff changeset
43
  (build-emacs (src) #$./scripts/get-emacs.sh$#
229
989b1b4782dc scripts update
Richard Westhaver <ellis@rwest.io>
parents: 225
diff changeset
44
         #$cd .stash/src/emacs && ./autogen.sh$#
230
290f6f651c37 sk update
Richard Westhaver <ellis@rwest.io>
parents: 229
diff changeset
45
         #$./scripts/build-emacs.sh$#)
353
de2ee463ac92 apply skelfile updates
Richard Westhaver <ellis@rwest.io>
parents: 352
diff changeset
46
  (build-emacs-mini (src) #$./scripts/get-emacs.sh$#
229
989b1b4782dc scripts update
Richard Westhaver <ellis@rwest.io>
parents: 225
diff changeset
47
              #$cd .stash/src/emacs && ./autogen.sh$#
230
290f6f651c37 sk update
Richard Westhaver <ellis@rwest.io>
parents: 229
diff changeset
48
              #$./scripts/build-emacs-mini.sh$#)
353
de2ee463ac92 apply skelfile updates
Richard Westhaver <ellis@rwest.io>
parents: 352
diff changeset
49
  (build-rocksdb (src) #$scripts/get-rocksdb.sh$#
230
290f6f651c37 sk update
Richard Westhaver <ellis@rwest.io>
parents: 229
diff changeset
50
           #$cd .stash/src/rocksdb && make shared_lib DISABLE_JEMALLOC=1$#)
353
de2ee463ac92 apply skelfile updates
Richard Westhaver <ellis@rwest.io>
parents: 352
diff changeset
51
  (build-rocksdb-static (src) #$scripts/get-rocksdb.sh$#
230
290f6f651c37 sk update
Richard Westhaver <ellis@rwest.io>
parents: 229
diff changeset
52
                  #$cd .stash/src/rocksdb && make static_lib DISABLE_JEMALLOC=1$#)
353
de2ee463ac92 apply skelfile updates
Richard Westhaver <ellis@rwest.io>
parents: 352
diff changeset
53
  (build-sbcl (src) #$scripts/get-sbcl.sh$#
305
795d7dce138c fix lisp version
Richard Westhaver <ellis@rwest.io>
parents: 304
diff changeset
54
        #$cd .stash/src/sbcl
795d7dce138c fix lisp version
Richard Westhaver <ellis@rwest.io>
parents: 304
diff changeset
55
        sbcl_rev=$(git rev-parse --short HEAD)
352
cee930bed936 bump lisp version
Richard Westhaver <ellis@rwest.io>
parents: 351
diff changeset
56
        echo \""2.4.7:$sbcl_rev"\" > version.lisp-expr &&
229
989b1b4782dc scripts update
Richard Westhaver <ellis@rwest.io>
parents: 225
diff changeset
57
        ./make.sh --dynamic-space-size=8Gb --without-gencgc --with-mark-region-gc --fancy$#)
353
de2ee463ac92 apply skelfile updates
Richard Westhaver <ellis@rwest.io>
parents: 352
diff changeset
58
  (build-sbcl-docs (sbcl) #$cd .stash/src/sbcl/doc/manual && make$#)
de2ee463ac92 apply skelfile updates
Richard Westhaver <ellis@rwest.io>
parents: 352
diff changeset
59
  (build-sbcl-gencgc (src) #$cd .stash/src/sbcl &&
299
Richard Westhaver <ellis@rwest.io>
parents: 298
diff changeset
60
        ./make.sh --fancy$#)
353
de2ee463ac92 apply skelfile updates
Richard Westhaver <ellis@rwest.io>
parents: 352
diff changeset
61
  (build-sbcl-shared () #$cd .stash/src/sbcl && sh make-shared-library.sh$#)
de2ee463ac92 apply skelfile updates
Richard Westhaver <ellis@rwest.io>
parents: 352
diff changeset
62
  (install-quicklisp () #$cd .stash && curl -O https://beta.quicklisp.org/quicklisp.lisp$#
de2ee463ac92 apply skelfile updates
Richard Westhaver <ellis@rwest.io>
parents: 352
diff changeset
63
                     #$./scripts/quicklisp-install.sh$#)
de2ee463ac92 apply skelfile updates
Richard Westhaver <ellis@rwest.io>
parents: 352
diff changeset
64
  (build-stumpwm (src) #$./scripts/get-stumpwm.sh$#
229
989b1b4782dc scripts update
Richard Westhaver <ellis@rwest.io>
parents: 225
diff changeset
65
           #$cd .stash/src/stumpwm && ./autogen.sh && ./configure && make$#)
353
de2ee463ac92 apply skelfile updates
Richard Westhaver <ellis@rwest.io>
parents: 352
diff changeset
66
  (build-nyxt (src) #$./scripts/get-nyxt.sh$#
243
e3c0df295100 scripts
Richard Westhaver <ellis@rwest.io>
parents: 234
diff changeset
67
        #$cd .stash/src/nyxt && git submodule update --init && make all$#)
353
de2ee463ac92 apply skelfile updates
Richard Westhaver <ellis@rwest.io>
parents: 352
diff changeset
68
  (build-scryer-prolog (src) #$./scripts/get-scryer-prolog.sh$#
243
e3c0df295100 scripts
Richard Westhaver <ellis@rwest.io>
parents: 234
diff changeset
69
                 #$cd .stash/src/scryer-prolog && cargo build --release$#)
353
de2ee463ac92 apply skelfile updates
Richard Westhaver <ellis@rwest.io>
parents: 352
diff changeset
70
  (build-tree-sitter (src) #$./scripts/get-tree-sitter.sh$#)
de2ee463ac92 apply skelfile updates
Richard Westhaver <ellis@rwest.io>
parents: 352
diff changeset
71
  (install-tree-sitter (src) #$cd .stash/src/tree-sitter && make install$#)
de2ee463ac92 apply skelfile updates
Richard Westhaver <ellis@rwest.io>
parents: 352
diff changeset
72
  (build-linux () #$mkdir -pv .stash/src/linux$#
230
290f6f651c37 sk update
Richard Westhaver <ellis@rwest.io>
parents: 229
diff changeset
73
         #$gpg --export autosigner@ torvalds@ gregkh@ > .stash/src/linux/keyring.gpg$#
290f6f651c37 sk update
Richard Westhaver <ellis@rwest.io>
parents: 229
diff changeset
74
         #$./scripts/get-linux.sh $(uname -r | cut -d- -f1) .stash .stash/src/linux/keyring.gpg$#
290f6f651c37 sk update
Richard Westhaver <ellis@rwest.io>
parents: 229
diff changeset
75
         #$cd scripts && unxz .stash/src/linux.tar.xz &&
290f6f651c37 sk update
Richard Westhaver <ellis@rwest.io>
parents: 229
diff changeset
76
         tar -xvf .stash/src/linux.tar $(uname -r | cut -d- -f1)$#
290f6f651c37 sk update
Richard Westhaver <ellis@rwest.io>
parents: 229
diff changeset
77
         #$cd .stash/src/linux && make mrproper -j &&
290f6f651c37 sk update
Richard Westhaver <ellis@rwest.io>
parents: 229
diff changeset
78
         zcat /proc/config.gz > .config && yes N | make localmodconfig$#)
353
de2ee463ac92 apply skelfile updates
Richard Westhaver <ellis@rwest.io>
parents: 352
diff changeset
79
  (build-xcaddy () #$go install github.com/caddyserver/xcaddy/cmd/xcaddy@latest$#)
de2ee463ac92 apply skelfile updates
Richard Westhaver <ellis@rwest.io>
parents: 352
diff changeset
80
  (build-caddy (xcaddy) #$~/go/bin/xcaddy build --output .stash/bin/caddy --with github.com/mholt/caddy-webdav$#)
de2ee463ac92 apply skelfile updates
Richard Westhaver <ellis@rwest.io>
parents: 352
diff changeset
81
  (install-caddy () #$cp .stash/bin/caddy /usr/local/bin/caddy$#)
de2ee463ac92 apply skelfile updates
Richard Westhaver <ellis@rwest.io>
parents: 352
diff changeset
82
  (build-rust () #$scripts/get-rust.sh$#)
de2ee463ac92 apply skelfile updates
Richard Westhaver <ellis@rwest.io>
parents: 352
diff changeset
83
  (build-rust-docs (rust) #$cd .stash/src/rust && ./x doc$#)
de2ee463ac92 apply skelfile updates
Richard Westhaver <ellis@rwest.io>
parents: 352
diff changeset
84
  (build-ublk () #$scripts/get-ublksrv.sh$#
256
9d6a767d72f0 add ublksrv and blake3
Richard Westhaver <ellis@rwest.io>
parents: 255
diff changeset
85
        #$cd .stash/src/ublksrv && autoreconf -i && ./configure && make$#)
353
de2ee463ac92 apply skelfile updates
Richard Westhaver <ellis@rwest.io>
parents: 352
diff changeset
86
  (install-ublk () #$cd .stash/src/ublksrv && make install$#)
256
9d6a767d72f0 add ublksrv and blake3
Richard Westhaver <ellis@rwest.io>
parents: 255
diff changeset
87
  ;; ref: https://github.com/BLAKE3-team/BLAKE3/tree/master/c#building
353
de2ee463ac92 apply skelfile updates
Richard Westhaver <ellis@rwest.io>
parents: 352
diff changeset
88
  (build-blake3 () #$scripts/get-blake3.sh$#
256
9d6a767d72f0 add ublksrv and blake3
Richard Westhaver <ellis@rwest.io>
parents: 255
diff changeset
89
          #$cd .stash/src/blake3/c && gcc -shared -O3 -o libblake3.so blake3.c blake3_dispatch.c blake3_portable.c \
9d6a767d72f0 add ublksrv and blake3
Richard Westhaver <ellis@rwest.io>
parents: 255
diff changeset
90
          blake3_sse2_x86-64_unix.S blake3_sse41_x86-64_unix.S blake3_avx2_x86-64_unix.S \
9d6a767d72f0 add ublksrv and blake3
Richard Westhaver <ellis@rwest.io>
parents: 255
diff changeset
91
          blake3_avx512_x86-64_unix.S$#)
353
de2ee463ac92 apply skelfile updates
Richard Westhaver <ellis@rwest.io>
parents: 352
diff changeset
92
  (install-blake3 () #$cd .stash/src/blake3/c && cp libblake3.so /usr/local/lib/ && cp blake3.h /usr/local/include/$#)
234
3b735bfbd5f0 bundle updates
Richard Westhaver <ellis@rwest.io>
parents: 233
diff changeset
93
  ;; install
353
de2ee463ac92 apply skelfile updates
Richard Westhaver <ellis@rwest.io>
parents: 352
diff changeset
94
  (install-tree-sitter-langs (src) #$PREFIX=.stash ./scripts/tree-sitter-langs.sh$#)
de2ee463ac92 apply skelfile updates
Richard Westhaver <ellis@rwest.io>
parents: 352
diff changeset
95
  (install-cargo-tools () #$scripts/install-cargo-tools.sh$#)
de2ee463ac92 apply skelfile updates
Richard Westhaver <ellis@rwest.io>
parents: 352
diff changeset
96
  (install-rustup () #$curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh -s -- -y$#)
de2ee463ac92 apply skelfile updates
Richard Westhaver <ellis@rwest.io>
parents: 352
diff changeset
97
  (install-sbcl () #$cd .stash/src/sbcl && INSTALL_ROOT=/usr/local sh install.sh$#)
de2ee463ac92 apply skelfile updates
Richard Westhaver <ellis@rwest.io>
parents: 352
diff changeset
98
  (install-emacs () #$cd .stash/src/emacs && make install$#)
de2ee463ac92 apply skelfile updates
Richard Westhaver <ellis@rwest.io>
parents: 352
diff changeset
99
  (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
100
                   cp -r include/* /usr/local/include/$#)
353
de2ee463ac92 apply skelfile updates
Richard Westhaver <ellis@rwest.io>
parents: 352
diff changeset
101
  (install-stumpwm () #$cd .stash/src/stumpwm && make install$#)
260
c5aa261cb836 bootstrap updates
Richard Westhaver <ellis@rwest.io>
parents: 256
diff changeset
102
  ;; dist
354
Richard Westhaver <ellis@rwest.io>
parents: 353
diff changeset
103
  (dist-emacs-mini () #$cd .stash/src/emacs
356
955afe21959d emacs pack updates
Richard Westhaver <ellis@rwest.io>
parents: 355
diff changeset
104
                   ./make-dist --tar --no-compress --no-info --no-changelog
355
Richard Westhaver <ellis@rwest.io>
parents: 354
diff changeset
105
                   zstd -8 emacs-31.0.50.tar -o "../../emacs-mini.tar.zst"$#)
354
Richard Westhaver <ellis@rwest.io>
parents: 353
diff changeset
106
  (dist-emacs () #$cd .stash/src/emacs
Richard Westhaver <ellis@rwest.io>
parents: 353
diff changeset
107
              ./make-dist --tar --no-compress
355
Richard Westhaver <ellis@rwest.io>
parents: 354
diff changeset
108
              zstd -8 emacs-31.0.50.tar -o "../../emacs.tar.zst"$#)
353
de2ee463ac92 apply skelfile updates
Richard Westhaver <ellis@rwest.io>
parents: 352
diff changeset
109
  (dist-sbcl () #$scripts/dist-sbcl-binary.sh$#)
354
Richard Westhaver <ellis@rwest.io>
parents: 353
diff changeset
110
  (dist-sbcl-source () #$scripts/dist-sbcl-binary.sh$#)
353
de2ee463ac92 apply skelfile updates
Richard Westhaver <ellis@rwest.io>
parents: 352
diff changeset
111
  (dist-rocksdb () #$scripts/dist-rocksdb-binary.sh$#)
de2ee463ac92 apply skelfile updates
Richard Westhaver <ellis@rwest.io>
parents: 352
diff changeset
112
  (dist-stumpwm () #$scripts/dist-stumpwm-binary.sh$#)
354
Richard Westhaver <ellis@rwest.io>
parents: 353
diff changeset
113
  (dist (dist-rocksdb dist-sbcl dist-sbcl-source)))