From 1e3c6add2fd172bfecce7c7817e3ef6bfed81856 Mon Sep 17 00:00:00 2001 From: Will Date: Sat, 2 Dec 2023 12:59:24 -0500 Subject: [PATCH] container: add a development environment --- .dockerignore | 7 +++++++ container-devel | 12 ++++++++++++ 2 files changed, 19 insertions(+) create mode 100644 .dockerignore create mode 100644 container-devel diff --git a/.dockerignore b/.dockerignore new file mode 100644 index 00000000..3dc0c39e --- /dev/null +++ b/.dockerignore @@ -0,0 +1,7 @@ +.cache +compile_commands.json +tmp_test_watcher +/out +/result +/watcher +/bazel-* diff --git a/container-devel b/container-devel new file mode 100644 index 00000000..fb347800 --- /dev/null +++ b/container-devel @@ -0,0 +1,12 @@ +FROM debian:latest +COPY . /app +RUN apt-get update -y \ + && apt-get install -y \ + build-essential \ + ca-certificates \ + python3 \ + cmake \ + git \ + jq +RUN app/tool/build --no-run-test +RUN cp app/out/this/Release/wtr.watcher /usr/local/bin/ww