summaryrefslogtreecommitdiff
path: root/.docker/Dockerfile
diff options
context:
space:
mode:
authorDaniel Friesel <dfriesel@uos.de>2022-05-20 10:13:50 +0000
committerDaniel Friesel <dfriesel@uos.de>2022-05-20 10:13:50 +0000
commit4eb9358714cc5553c886021931752ec2b95055f4 (patch)
tree54ca7cb2b8748139fa534dcbdf40f7397ac72e7a /.docker/Dockerfile
parent0daafbe96c1057fe7fd9cc64f3e74fb914c1eeb4 (diff)
Add a test benchmark for explore-kconfig
Diffstat (limited to '.docker/Dockerfile')
-rw-r--r--.docker/Dockerfile25
1 files changed, 25 insertions, 0 deletions
diff --git a/.docker/Dockerfile b/.docker/Dockerfile
new file mode 100644
index 0000000..e65f6d8
--- /dev/null
+++ b/.docker/Dockerfile
@@ -0,0 +1,25 @@
+FROM debian:bullseye
+
+ARG DEBIAN_FRONTEND=noninteractive
+ARG APT_LISTCHANGES_FRONTEND=none
+
+RUN apt-get update \
+ && apt-get -y --no-install-recommends install \
+ ca-certificates \
+ kconfig-frontends-nox \
+ make \
+ python3-dev \
+ python3-coverage \
+ python3-frozendict \
+ python3-matplotlib \
+ python3-numpy \
+ python3-pytest \
+ python3-pytest-cov \
+ python3-scipy \
+ python3-sklearn \
+ python3-yaml \
+ python3-zbar \
+ wget \
+ && rm -rf /var/cache/apt/* /var/lib/apt/lists/*
+
+CMD ["bash"]