diff options
Diffstat (limited to 'src/main/docker/jni.Dockerfile')
-rw-r--r-- | src/main/docker/jni.Dockerfile | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/src/main/docker/jni.Dockerfile b/src/main/docker/jni.Dockerfile new file mode 100644 index 0000000..c790e47 --- /dev/null +++ b/src/main/docker/jni.Dockerfile @@ -0,0 +1,20 @@ +# +# Debian with tools for java-native-interface development. +# + +ARG PARENT_IMAGE=debian:buster-20220622-slim +FROM $PARENT_IMAGE + +ENV \ + JAVA_HOME=/usr/lib/jvm/java-11-openjdk-amd64 + +RUN true \ + && apt update \ + && apt install -y --no-install-recommends \ + g++ make openjdk-11-jdk-headless \ + && apt clean \ + && true + +USER 1000:1000 +WORKDIR /work +CMD ["sleep", "36000"] |