ci(make): Fix JAVA_HOME

2020-09-07 20:19:08 +02:00
parent f43058cd61
commit af043fb601
2 changed files with 2 additions and 0 deletions
--- 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
--- 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