1.1--- a/containers/Containerfile.box	Sun May 26 04:36:42 2024 +0000
     1.2+++ b/containers/Containerfile.box	Sun May 26 19:00:09 2024 +0000
     1.3@@ -12,11 +12,12 @@
     1.4 RUN hg clone https://vc.compiler.company/comp/infra
     1.5 RUN hg clone https://vc.compiler.company/comp/core
     1.6 WORKDIR infra
     1.7-RUN make build
     1.8+RUN mkdir .stash
     1.9+RUN scripts/get-sk.sh
    1.10 ENV CARGO_HOME="/usr/local/share/cargo"
    1.11 ENV RUSTUP_HOME="/usr/local/share/rustup"
    1.12 # stage1
    1.13-RUN make rustup-install
    1.14+RUN .stash/sk make rustup-install
    1.15 ENV PATH="$PATH:/usr/local/share/cargo/bin"
    1.16 RUN rustup update
    1.17 # dev rustc components
    1.18@@ -27,13 +28,13 @@
    1.19 # RUN sh scripts/install-sbcl-pack.sh
    1.20 # RUN sh scripts/install-rocksdb-pack.sh
    1.21 # RUN sh scripts/install-cargo-tools.sh
    1.22-RUN make sbcl-install
    1.23-RUN make quicklisp-install
    1.24+RUN .stash/sk make sbcl-install
    1.25+RUN .stash/sk make quicklisp-install
    1.26 RUN make tree-sitter-install
    1.27 RUN make tree-sitter-langs-install
    1.28 RUN make emacs-build-mini
    1.29 RUN make emacs-install
    1.30-RUN make rocksdb-build-shared
    1.31+RUN .stash/sk make rocksdb
    1.32 RUN make rocksdb-install
    1.33 #ADD etc/sbclrc /etc/sbclrc
    1.34 #COPY etc/skel/ /etc/skel/

     2.1--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     2.2+++ b/scripts/get-sk.sh	Sun May 26 19:00:09 2024 +0000
     2.3@@ -0,0 +1,5 @@
     2.4+#!/bin/sh
     2.5+set -e
     2.6+cd .stash
     2.7+curl -O https://packy.compiler.company/dist/x86_64-unknown-linux-gnu/bin/sk
     2.8+chmod +x sk