changelog shortlog graph tags branches changeset files file revisions raw help

Mercurial > infra / annotate skelfile

changeset 229: 989b1b4782dc
parent: 9457c6b0f30c
child: 290f6f651c37
author: Richard Westhaver <ellis@rwest.io>
date: Sat, 25 May 2024 23:17:00 -0400
permissions: -rw-r--r--
description: scripts update
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"
198
3b84ce879498 minor updates
Richard Westhaver <ellis@rwest.io>
parents: 23
diff changeset
3
 :author "Richard Westhaver <ellis@rwest.io>"
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")
20
ellis <ellis@rwest.io>
parents: 19
diff changeset
9
 :docs ((:org "readme"))
225
9457c6b0f30c update skelfile
Richard Westhaver <ellis@rwest.io>
parents: 224
diff changeset
10
 :scripts "scripts"
229
989b1b4782dc scripts update
Richard Westhaver <ellis@rwest.io>
parents: 225
diff changeset
11
 :rules
989b1b4782dc scripts update
Richard Westhaver <ellis@rwest.io>
parents: 225
diff changeset
12
 ((check (#$./check.sh$#))
989b1b4782dc scripts update
Richard Westhaver <ellis@rwest.io>
parents: 225
diff changeset
13
  (archlinux () #$podman build -f containers/Containerfile.archlinux -t localhost/archlinux$#)
989b1b4782dc scripts update
Richard Westhaver <ellis@rwest.io>
parents: 225
diff changeset
14
  (alpine () #$podman build -f containers/Containerfile.alpine -t localhost/alpine$#)
989b1b4782dc scripts update
Richard Westhaver <ellis@rwest.io>
parents: 225
diff changeset
15
  (ubuntu () #$podman build -f containers/Containerfile.alpine -t localhost/alpine$#)
989b1b4782dc scripts update
Richard Westhaver <ellis@rwest.io>
parents: 225
diff changeset
16
  (box (archlinux) #$podman build -f containers/Containerfile.box -t localhost/box$#)
989b1b4782dc scripts update
Richard Westhaver <ellis@rwest.io>
parents: 225
diff changeset
17
  (worker (alpine) #$podman build -f containers/Containerfile.worker -t localhost/worker$#)
989b1b4782dc scripts update
Richard Westhaver <ellis@rwest.io>
parents: 225
diff changeset
18
  (operator (box) #$podman build -f containers/Containerfile.operator -t localhost/operator$#)
989b1b4782dc scripts update
Richard Westhaver <ellis@rwest.io>
parents: 225
diff changeset
19
  (containers (archlinux alpine ubuntu box worker operator))
989b1b4782dc scripts update
Richard Westhaver <ellis@rwest.io>
parents: 225
diff changeset
20
  (src () #$mkdir -pv .stash/src$#)
989b1b4782dc scripts update
Richard Westhaver <ellis@rwest.io>
parents: 225
diff changeset
21
  (emacs (src) #$./scripts/get-emacs.sh$#
989b1b4782dc scripts update
Richard Westhaver <ellis@rwest.io>
parents: 225
diff changeset
22
         #$cd .stash/src/emacs && ./autogen.sh$#
989b1b4782dc scripts update
Richard Westhaver <ellis@rwest.io>
parents: 225
diff changeset
23
         #$scripts/build-emacs.sh$#)
989b1b4782dc scripts update
Richard Westhaver <ellis@rwest.io>
parents: 225
diff changeset
24
  (emacs-mini (src)
989b1b4782dc scripts update
Richard Westhaver <ellis@rwest.io>
parents: 225
diff changeset
25
              #$cd .stash/src/emacs && ./autogen.sh$#
989b1b4782dc scripts update
Richard Westhaver <ellis@rwest.io>
parents: 225
diff changeset
26
              #$scripts/build-emacs-mini.sh$#)
989b1b4782dc scripts update
Richard Westhaver <ellis@rwest.io>
parents: 225
diff changeset
27
  (rocksdb (src) #$make rocksdb-build-shared$#)
989b1b4782dc scripts update
Richard Westhaver <ellis@rwest.io>
parents: 225
diff changeset
28
  (rocksdb-static (src) #$make rocksdb-build-static$#)
989b1b4782dc scripts update
Richard Westhaver <ellis@rwest.io>
parents: 225
diff changeset
29
  (sbcl (src) #$cd .stash/src/sbcl &&
989b1b4782dc scripts update
Richard Westhaver <ellis@rwest.io>
parents: 225
diff changeset
30
        ./make.sh --dynamic-space-size=8Gb --without-gencgc --with-mark-region-gc --fancy$#)
989b1b4782dc scripts update
Richard Westhaver <ellis@rwest.io>
parents: 225
diff changeset
31
  (sbcl-gencgc (src) #$cd .stash/src/sbcl &&
989b1b4782dc scripts update
Richard Westhaver <ellis@rwest.io>
parents: 225
diff changeset
32
        ./make.sh --dynamic-space-size=8Gb --fancy$#)
989b1b4782dc scripts update
Richard Westhaver <ellis@rwest.io>
parents: 225
diff changeset
33
  (quicklisp () #$cd .stash && curl -O https://beta.quicklisp.org/quicklisp.lisp$#
989b1b4782dc scripts update
Richard Westhaver <ellis@rwest.io>
parents: 225
diff changeset
34
             #$./scripts/quicklisp-install.sh$#)
989b1b4782dc scripts update
Richard Westhaver <ellis@rwest.io>
parents: 225
diff changeset
35
  (stumpwm (src) #$scripts/get-stumpwm.sh$#
989b1b4782dc scripts update
Richard Westhaver <ellis@rwest.io>
parents: 225
diff changeset
36
           #$cd .stash/src/stumpwm && ./autogen.sh && ./configure && make$#)
989b1b4782dc scripts update
Richard Westhaver <ellis@rwest.io>
parents: 225
diff changeset
37
  (tree-sitter (src) #$scripts/get-tree-sitter.sh$#)
224
3d36aef02f8f skelfile
Richard Westhaver <ellis@rwest.io>
parents: 198
diff changeset
38
  (linux () #$make linux$#)
229
989b1b4782dc scripts update
Richard Westhaver <ellis@rwest.io>
parents: 225
diff changeset
39
  (clean () #$rm -vf .stash$#)
989b1b4782dc scripts update
Richard Westhaver <ellis@rwest.io>
parents: 225
diff changeset
40
  (rust () #$make rust$#)
989b1b4782dc scripts update
Richard Westhaver <ellis@rwest.io>
parents: 225
diff changeset
41
  (rustup () #$curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh -s -- -y$#))