changelog shortlog graph tags branches changeset files file revisions raw help

Mercurial > infra > pod / annotate Containerfile.dev

changeset 13: 43c84d8fb729
parent: a67e164d4def
child: 6cb3bf451afc
author: Richard Westhaver <ellis@rwest.io>
date: Sun, 07 Jul 2024 00:22:10 -0400
permissions: -rw-r--r--
description: rename base to scratch, update devbox
0
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
1
 FROM localhost/archlinux:latest
13
43c84d8fb729 rename base to scratch, update devbox
Richard Westhaver <ellis@rwest.io>
parents: 12
diff changeset
2
 RUN --network=host pacman -Sy uutils-coreutils sysstat iotop imagemagick giflib libgccjit libxaw snappy sbcl llvm clang lld liburing libxkbcommon --noconfirm
0
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
3
 # custom
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
4
 ARG DEV=dev
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
5
 ARG DEV_HOME=/home/${DEV}
13
43c84d8fb729 rename base to scratch, update devbox
Richard Westhaver <ellis@rwest.io>
parents: 12
diff changeset
6
 ARG DEV_ID=808
0
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
7
 # stage0
5
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
8
 RUN mkdir -p /usr/share/lisp /usr/local/share/lisp /usr/local/share/rust
12
a67e164d4def not quite
Richard Westhaver <ellis@rwest.io>
parents: 10
diff changeset
9
 # COPY .stash/bin/ /usr/local/bin/
a67e164d4def not quite
Richard Westhaver <ellis@rwest.io>
parents: 10
diff changeset
10
 # COPY .stash/lib/ /usr/local/lib/
a67e164d4def not quite
Richard Westhaver <ellis@rwest.io>
parents: 10
diff changeset
11
 # COPY .stash/include/ /usr/local/include/
a67e164d4def not quite
Richard Westhaver <ellis@rwest.io>
parents: 10
diff changeset
12
 # COPY .stash/share/ /usr/local/share/
a67e164d4def not quite
Richard Westhaver <ellis@rwest.io>
parents: 10
diff changeset
13
 # COPY .stash/src/ /usr/local/src/
0
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
14
 WORKDIR /usr/local/src
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
15
 RUN hg clone https://vc.compiler.company/comp/infra
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
16
 WORKDIR infra
5
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
17
 ENV CARGO_HOME="/usr/local/share/rust/cargo"
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
18
 ENV RUSTUP_HOME="/usr/local/share/rust/rustup"
0
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
19
 # stage1
12
a67e164d4def not quite
Richard Westhaver <ellis@rwest.io>
parents: 10
diff changeset
20
 RUN ./bootstrap.sh
13
43c84d8fb729 rename base to scratch, update devbox
Richard Westhaver <ellis@rwest.io>
parents: 12
diff changeset
21
 RUN install -m 755 .stash/bin/* /usr/local/bin/
43c84d8fb729 rename base to scratch, update devbox
Richard Westhaver <ellis@rwest.io>
parents: 12
diff changeset
22
 RUN mv .stash/lib/** /usr/local/lib/
43c84d8fb729 rename base to scratch, update devbox
Richard Westhaver <ellis@rwest.io>
parents: 12
diff changeset
23
 RUN mv .stash/share/lisp/** /usr/local/share/lisp/
5
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
24
 ENV PATH="$PATH:/usr/local/share/rust/cargo/bin"
9
58539a178562 box updates
Richard Westhaver <ellis@rwest.io>
parents: 8
diff changeset
25
 RUN skel run install-rocksdb-pack
5
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
26
 RUN skel make tree-sitter
13
43c84d8fb729 rename base to scratch, update devbox
Richard Westhaver <ellis@rwest.io>
parents: 12
diff changeset
27
 RUN skel make tree-sitter-install
5
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
28
 RUN skel make tree-sitter-langs
13
43c84d8fb729 rename base to scratch, update devbox
Richard Westhaver <ellis@rwest.io>
parents: 12
diff changeset
29
 RUN useradd --system -s /usr/bin/bash -u ${DEV_ID} -m ${DEV}
0
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
30
 RUN groupadd -g 128 engineer -U ${DEV}
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
31
 RUN groupadd -g 256 operator -U ${DEV}
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
32
 RUN chown -R ${DEV}:engineer /usr/local/share/
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
33
 RUN chown -R ${DEV}:engineer /usr/local/src/
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
34
 RUN chown -R ${DEV}:engineer /usr/local/bin/
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
35
 RUN chown -R ${DEV}:engineer /usr/local/etc/
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
36
 RUN chown -R ${DEV}:engineer /usr/local/man/
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
37
 USER ${DEV}
5
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
38
 RUN mkdir ${DEV_HOME}/.stash
7
748865b8b90b rm vc-runner, updated vc and box
Richard Westhaver <ellis@rwest.io>
parents: 5
diff changeset
39
 RUN skel make quicklisp
9
58539a178562 box updates
Richard Westhaver <ellis@rwest.io>
parents: 8
diff changeset
40
 RUN skel make rustup
58539a178562 box updates
Richard Westhaver <ellis@rwest.io>
parents: 8
diff changeset
41
 RUN rustup default nightly
58539a178562 box updates
Richard Westhaver <ellis@rwest.io>
parents: 8
diff changeset
42
 RUN rustup component add --toolchain nightly rust-src rust-analyzer rustc-dev llvm-tools-preview
0
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
43
 WORKDIR ${DEV_HOME}
9
58539a178562 box updates
Richard Westhaver <ellis@rwest.io>
parents: 8
diff changeset
44
 RUN rm -rf /usr/local/src/*
0
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
45
 ENV DEV=${DEV}
13
43c84d8fb729 rename base to scratch, update devbox
Richard Westhaver <ellis@rwest.io>
parents: 12
diff changeset
46
 ENV DEV_ID=${DEV_ID}
43c84d8fb729 rename base to scratch, update devbox
Richard Westhaver <ellis@rwest.io>
parents: 12
diff changeset
47
 ENTRYPOINT ["/usr/bin/bash"]