diff --git a/makefiles/docker/archlinux/java.Dockerfile b/makefiles/docker/archlinux/java.Dockerfile index aa08879fa6..85e0a693aa 100644 --- a/makefiles/docker/archlinux/java.Dockerfile +++ b/makefiles/docker/archlinux/java.Dockerfile @@ -1,5 +1,6 @@ FROM ortools/make:archlinux_swig AS env RUN pacman -Syu --noconfirm jdk-openjdk maven +ENV JAVA_HOME=/usr/lib/jvm/default FROM env AS devel WORKDIR /home/project diff --git a/makefiles/docker/ubuntu/java.Dockerfile b/makefiles/docker/ubuntu/java.Dockerfile index c5342caef7..188e1d3b5a 100644 --- a/makefiles/docker/ubuntu/java.Dockerfile +++ b/makefiles/docker/ubuntu/java.Dockerfile @@ -3,6 +3,7 @@ RUN apt-get update -qq \ && apt-get install -yq default-jdk maven \ && apt-get clean \ && rm -rf /var/lib/apt/lists/* /tmp/* /var/tmp/* +ENV JAVA_HOME=/usr/lib/jvm/default-java FROM env AS devel WORKDIR /home/project