2020-04-02 00:12:08 +02:00
|
|
|
FROM ortools/make:debian_swig AS env
|
|
|
|
|
RUN apt-get update -qq \
|
|
|
|
|
&& apt-get install -yq default-jdk maven \
|
|
|
|
|
&& apt-get clean \
|
|
|
|
|
&& rm -rf /var/lib/apt/lists/* /tmp/* /var/tmp/*
|
2020-09-08 14:28:22 +02:00
|
|
|
ENV JAVA_HOME=/usr/lib/jvm/default-java
|
2020-04-02 00:12:08 +02:00
|
|
|
|
|
|
|
|
FROM env AS devel
|
2020-04-13 17:48:44 +02:00
|
|
|
WORKDIR /home/project
|
2020-04-02 00:12:08 +02:00
|
|
|
COPY . .
|
|
|
|
|
|
|
|
|
|
FROM devel AS build
|
|
|
|
|
RUN make java
|
|
|
|
|
|
|
|
|
|
FROM build AS test
|
|
|
|
|
RUN make test_java
|
|
|
|
|
|
|
|
|
|
FROM build AS package
|
|
|
|
|
RUN make package_java
|
