summaryrefslogtreecommitdiff
path: root/.docker
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
parent0daafbe96c1057fe7fd9cc64f3e74fb914c1eeb4 (diff)
Add a test benchmark for explore-kconfig
Diffstat (limited to '.docker')
-rw-r--r--.docker/Dockerfile25
-rwxr-xr-x.docker/mkdocker11
2 files changed, 36 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"]
diff --git a/.docker/mkdocker b/.docker/mkdocker
new file mode 100755
index 0000000..9f72cc5
--- /dev/null
+++ b/.docker/mkdocker
@@ -0,0 +1,11 @@
+#!/bin/sh
+
+set -e
+
+VERSION="$(date +%Y.%m.%d)"
+docker build -t ci-dfatool:${VERSION} .
+docker build -t ci-dfatool:latest .
+docker tag ci-dfatool:${VERSION} derfnull/ci-dfatool:${VERSION}
+docker tag ci-dfatool:latest derfnull/ci-dfatool:latest
+docker push derfnull/ci-dfatool:${VERSION}
+docker push derfnull/ci-dfatool:latest