docker: remove

I no longer use this, so it won't be maintained
This commit is contained in:
Vincent Breitmoser
2025-03-16 12:24:59 +01:00
parent 3bceb608e8
commit c6aa0b3fdb
2 changed files with 0 additions and 21 deletions

View File

@@ -1,10 +0,0 @@
FROM rust:bullseye
RUN apt update -qy
RUN apt install -qy libclang-dev build-essential pkg-config clang libssl-dev libsqlite3-dev gettext zsh
RUN useradd -u 1000 -d /home/user user && mkdir /home/user && chown user:user /home/user
USER user
RUN rustup install 1.82.0
WORKDIR /home/user/src

View File

@@ -1,11 +0,0 @@
# Instructions
This docker image can be used to build hagrid for a Debian environment.
```sh
# in the main source directory
docker build -t hagrid-builder:1.0 docker-build/
# bind in volumes to use cache from hosts
docker run --rm -i -t --user $UID --volume $PWD:/home/user/src --volume $HOME/.cargo/registry:/usr/local/cargo/registry --volume $HOME/.cargo/git:/usr/local/cargo/git hagrid-builder:1.0 cargo build --release --frozen
# release artifact will be in target directory
```