From c713f438f25e71f95171ea0225543cb3ada8c586 Mon Sep 17 00:00:00 2001 From: Ning Wang Date: Tue, 26 May 2020 11:09:12 -0700 Subject: [PATCH] Fix ubunt14.04 docker file (#3526) --- docker/compile/Dockerfile.ubuntu14.04 | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/docker/compile/Dockerfile.ubuntu14.04 b/docker/compile/Dockerfile.ubuntu14.04 index 922cd899fec..521cce93a74 100644 --- a/docker/compile/Dockerfile.ubuntu14.04 +++ b/docker/compile/Dockerfile.ubuntu14.04 @@ -34,12 +34,15 @@ RUN apt-get update && apt-get -y install \ git \ libtool \ python-dev \ + pkg-config \ libcppunit-dev \ zip \ unzip \ wget \ cmake \ - tree \ + tree + +RUN apt-get update && apt-get -y install \ openjdk-11-jdk-headless ENV JAVA_HOME /usr/lib/jvm/java-11-openjdk-amd64