changelog shortlog graph tags branches changeset files revisions annotate raw help

Mercurial > infra > pod / Containerfile.dev

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