changeset 23: |
4300e14bb1db |
parent 22: |
0a88cdd4bbd5 |
child 24: |
3e8310575574 |
author: |
ellis <ellis@rwest.io> |
date: |
Tue, 05 Dec 2023 23:12:16 -0500 |
files: |
makefile skelfile virt/build-box-base.sh |
description: |
goodnight |
1.1--- a/makefile Tue Dec 05 22:00:49 2023 -0500
1.2+++ b/makefile Tue Dec 05 23:12:16 2023 -0500
1.3@@ -145,7 +145,8 @@
1.4
1.5 dist/emacs:emacs-build $(D);
1.6
1.7-clean-dist::;rm -rf dist
1.8+clean-dist:;rm -rf $(D)
1.9+clean-build:;rm -rf $(B)
1.10
1.11 ### Quickstart
1.12-quick:code
1.13+quick:init code
2.1--- a/skelfile Tue Dec 05 22:00:49 2023 -0500
2.2+++ b/skelfile Tue Dec 05 23:12:16 2023 -0500
2.3@@ -7,6 +7,13 @@
2.4 :vc (:hg "https://vc.compiler.company/comp/infra")
2.5 :docs ((:org "readme"))
2.6 :tags (:infra)
2.7-:scripts ((get-sbcl "scripts/get-sbcl.sh"))
2.8-:snippets ((init #$curl --proto '=https' --tlsv1.2 -sSf https://packy.compiler.company/do/init.sh | sh$#))
2.9-:rules ((all (linux emacs rocksdb sbcl rust code virt dist)))
2.10+:scripts ((:lisp "scripts/get-sbcl.sh"))
2.11+:snippets
2.12+((init #$curl --proto '=https' --tlsv1.2 -sSf https://packy.compiler.company/do/init.sh | sh$#)
2.13+ (autogen "scripts/autogen.lisp"))
2.14+:rules
2.15+((default (emacs rocksdb sbcl rust))
2.16+ (emacs #$make emacs$#)
2.17+ (rocksdb #$make rocksdb$#)
2.18+ (sbcl #$make sbcl$#)
2.19+ (rust #$make rust$#))
3.1--- a/virt/build-box-base.sh Tue Dec 05 22:00:49 2023 -0500
3.2+++ b/virt/build-box-base.sh Tue Dec 05 23:12:16 2023 -0500
3.3@@ -3,7 +3,7 @@
3.4 # buildah add $id /mnt/y/lab /var/local/lab
3.5 buildah run $id useradd -ms /bin/bash $USER
3.6 buildah run $id mkdir -p /home/$USER/lab /var/local/data
3.7-buildah run --net host $id pacman -Syu git sbcl base-devel zstd --noconfirm
3.8+buildah run --net host $id pacman -Syu git sbcl base-devel zstd texlive --noconfirm
3.9 buildah run --net host $id hg clone https://vc.compiler.company/comp/core /usr/src/core
3.10 buildah run --net host $id hg clone https://vc.compiler.company/comp/infra /usr/src/infra
3.11 buildah config --workingdir /home/$USER $id