diff options
author | Daniel Friesel <dfriesel@uos.de> | 2022-05-20 10:13:50 +0000 |
---|---|---|
committer | Daniel Friesel <dfriesel@uos.de> | 2022-05-20 10:13:50 +0000 |
commit | 4eb9358714cc5553c886021931752ec2b95055f4 (patch) | |
tree | 54ca7cb2b8748139fa534dcbdf40f7397ac72e7a /.docker | |
parent | 0daafbe96c1057fe7fd9cc64f3e74fb914c1eeb4 (diff) |
Add a test benchmark for explore-kconfig
Diffstat (limited to '.docker')
-rw-r--r-- | .docker/Dockerfile | 25 | ||||
-rwxr-xr-x | .docker/mkdocker | 11 |
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 |