;;; skelfile --- infra skelfile -*- mode: skel; -*-

 :name "infra"

 :author "Richard Westhaver <ellis@rwest.io>"

 :version "0.1.0"

 :description "The Compiler Company Infrastructure"

 :tags (:infra)

 :license "MPL"

 :vc (:hg "https://vc.compiler.company/comp/infra")

 :docs ((:org "readme"))

 :scripts "scripts"

 :stash #p".stash"

 :store #p"/usr/local/share/store"

 :rules

 ((check () #$./check.sh$#)

  (clean () #$rm -rvf .stash$#)

  (tmp () #$mkdir -pv .stash/tmp$#)

  (src () #$mkdir -pv .stash/src$#)

  (bin () #$mkdir -pv .stash/bin$#)

  ;; src

  (repos (src tmp) #$cd .stash/tmp && curl -O https://packy.compiler.company/src/comp.tar.zst && \

         unzstd comp.tar.zst && tar -xf comp.tar -C ../src && \

         mv ../src/hg/* ../src/ && rm -rf ../src/hg comp.tar$#)

  (packy-repos (src) #$cd .stash && curl -O https://packy.compiler.company/src/packy.tar.zst && \

               unzstd packy.tar.zst && tar -xf packy.tar -C src && \

               rm -rf packy.tar$#)

  ;; containers

  (archlinux () #$podman build -f .stash/src/pod/Containerfile.archlinux . -t localhost/archlinux$#)

  (alpine () #$podman build -f .stash/src/pod/Containerfile.alpine . -t localhost/alpine$#)

  (ubuntu () #$podman build -f .stash/src/pod/Containerfile.alpine . -t localhost/alpine$#)

  (box (archlinux) #$podman build -f .stash/src/pod/Containerfile.box . -t localhost/box$#)

  (worker (alpine) #$podman build -f .stash/src/pod/Containerfile.worker . -t localhost/worker$#)

  (operator (box) #$podman build -f .stash/src/pod/Containerfile.operator . -t localhost/operator$#)

  (vc (worker) #$podman build -f .stash/src/pod/Containerfile.vc . -t localhost/vc$#)

  (core (operator) #$podman build -f .stash/src/pod/Containerfile.core . -t localhost/core$#)

  (containers (archlinux alpine ubuntu box worker operator vc))

  ;; programs

  (bootstrap () #$./bootstrap.sh$#)

  (emacs (src) #$./scripts/get-emacs.sh$#

         #$cd .stash/src/emacs && ./autogen.sh$#

         #$./scripts/build-emacs.sh$#)

  (emacs-mini (src) #$./scripts/get-emacs.sh$#

              #$cd .stash/src/emacs && ./autogen.sh$#

              #$./scripts/build-emacs-mini.sh$#)

  (rocksdb (src) #$scripts/get-rocksdb.sh$#

           #$cd .stash/src/rocksdb && make shared_lib DISABLE_JEMALLOC=1$#)

  (rocksdb-static (src) #$scripts/get-rocksdb.sh$#

                  #$cd .stash/src/rocksdb && make static_lib DISABLE_JEMALLOC=1$#)

  (sbcl (src) #$scripts/get-sbcl.sh$#

        #$cd .stash/src/sbcl &&

        echo '"2.4.5"' > version.lisp-expr &&

        ./make.sh --dynamic-space-size=8Gb --without-gencgc --with-mark-region-gc --fancy$#)

  (sbcl-docs (sbcl) #$cd .stash/src/sbcl/doc/manual && make$#)

  (sbcl-gencgc (src) #$cd .stash/src/sbcl &&

        ./make.sh --dynamic-space-size=8Gb --fancy$#)

  (sbcl-shared () #$cd .stash/src/sbcl && sh make-shared-library.sh$#)

  (quicklisp () #$cd .stash && curl -O https://beta.quicklisp.org/quicklisp.lisp

             ./scripts/quicklisp-install.sh$#)

  (stumpwm (src) #$./scripts/get-stumpwm.sh$#

           #$cd .stash/src/stumpwm && ./autogen.sh && ./configure && make$#)

  (nyxt (src) #$./scripts/get-nyxt.sh$#

        #$cd .stash/src/nyxt && git submodule update --init && make all$#)

  (scryer-prolog (src) #$./scripts/get-scryer-prolog.sh$#

                 #$cd .stash/src/scryer-prolog && cargo build --release$#)

  (tree-sitter (src) #$./scripts/get-tree-sitter.sh$#)

  (linux () #$mkdir -pv .stash/src/linux$#

         #$gpg --export autosigner@ torvalds@ gregkh@ > .stash/src/linux/keyring.gpg$#

         #$./scripts/get-linux.sh $(uname -r | cut -d- -f1) .stash .stash/src/linux/keyring.gpg$#

         #$cd scripts && unxz .stash/src/linux.tar.xz &&

         tar -xvf .stash/src/linux.tar $(uname -r | cut -d- -f1)$#

         #$cd .stash/src/linux && make mrproper -j &&

         zcat /proc/config.gz > .config && yes N | make localmodconfig$#)

  (xcaddy () #$go install github.com/caddyserver/xcaddy/cmd/xcaddy@latest$#)

  (caddy (xcaddy) #$xcaddy build --output .stash/bin/caddy --with github.com/mholt/caddy-webdav$#)

  (rust () #$scripts/get-rust.sh$#)

  (rust-docs (rust) #$cd .stash/src/rust && ./x doc$#)

  (ublk () #$scripts/get-ublksrv.sh$#

        #$cd .stash/src/ublksrv && autoreconf -i && ./configure && make$#)

  (ublk-install () #$cd .stash/src/ublksrv && make install$#)

  ;; ref: https://github.com/BLAKE3-team/BLAKE3/tree/master/c#building

  (blake3 () #$scripts/get-blake3.sh$#

          #$cd .stash/src/blake3/c && gcc -shared -O3 -o libblake3.so blake3.c blake3_dispatch.c blake3_portable.c \

          blake3_sse2_x86-64_unix.S blake3_sse41_x86-64_unix.S blake3_avx2_x86-64_unix.S \

          blake3_avx512_x86-64_unix.S$#)

  (blake3-install () #$cd .stash/src/blake3/c && cp libblake3.so /usr/local/lib/ && cp blake3.h /usr/local/include/$#)

  ;; install

  (tree-sitter-langs (src) #$./scripts/tree-sitter-install-langs.sh$#)

  (cargo-tools () #$scripts/install-cargo-tools.sh$#)

  (rustup () #$curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh -s -- -y$#)

  (sbcl-install () #$cd .stash/src/sbcl && INSTALL_ROOT=/usr/local sh install.sh$#)

  (emacs-install () #$cd .stash/src/emacs && make install$#)

  (rocksdb-install () #$cd .stash/src/rocksdb && make install-shared &&

                   cp -r include/* /usr/local/include/$#)

  (stumpwm-install () #$cd .stash/src/stumpwm && make install$#)

  ;; dist

  (sbcl-dist () #$scripts/dist-sbcl-binary.sh$#)

  (rocksdb-dist () #$scripts/dist-rocksdb-binary.sh$#)

  (stumpwm-dist () #$scripts/dist-stumpwm-binary.sh$#)

  (dist (rocksdb-dist sbcl-dist) #$scripts/dist-rocksdb-source.sh

        scripts/dist-sbcl-source.sh$#))