update buildspec to include jdk version

This is required by the newer Ubuntu 18 images.  In return, the JDK no
longer needs to be installed using apt-get.

Author: Daniel Kroening

buildspec-linux-clang.yml

@@ -2,15 +2,17 @@ version: 0.2
 
 phases:
   install:
+    runtime-versions:
+      java: openjdk8
     commands:
       - sed -i 's#/archive.ubuntu.com#/us-east-1.ec2.archive.ubuntu.com#g' /etc/apt/sources.list
       - add-apt-repository ppa:ubuntu-toolchain-r/test -y
       - apt-key adv --keyserver keyserver.ubuntu.com --recv-keys BA9EF27F
       - add-apt-repository ppa:openjdk-r/ppa -y
       - apt-get update -y
       - apt-get install -y g++-5 clang-7 flex bison make git libwww-perl patch ccache libc6-dev-i386 jq
-      - apt-get install -y openjdk-8-jdk
       - update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-5 1
+      - update-alternatives --install /usr/bin/cpp cpp-bin /usr/bin/cpp-5 1
       - update-alternatives --install /usr/bin/g++ g++ /usr/bin/g++-5 1
   build:
     commands:

buildspec-linux-cmake-gcc.yml

@@ -2,15 +2,17 @@ version: 0.2
 
 phases:
   install:
+    runtime-versions:
+      java: openjdk8
     commands:
       - sed -i 's#/archive.ubuntu.com#/us-east-1.ec2.archive.ubuntu.com#g' /etc/apt/sources.list
       - add-apt-repository ppa:ubuntu-toolchain-r/test -y
       - apt-key adv --keyserver keyserver.ubuntu.com --recv-keys BA9EF27F
       - add-apt-repository ppa:openjdk-r/ppa -y
       - apt-get update -y
       - apt-get install -y g++-5 flex bison make git libwww-perl patch ccache libc6-dev-i386 jq
-      - apt-get install -y openjdk-8-jdk
       - update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-5 1
+      - update-alternatives --install /usr/bin/cpp cpp-bin /usr/bin/cpp-5 1
       - update-alternatives --install /usr/bin/g++ g++ /usr/bin/g++-5 1
   build:
     commands:

buildspec.yml

@@ -2,15 +2,17 @@ version: 0.2
 
 phases:
   install:
+    runtime-versions:
+      java: openjdk8
     commands:
       - sed -i 's#/archive.ubuntu.com#/us-east-1.ec2.archive.ubuntu.com#g' /etc/apt/sources.list
       - add-apt-repository ppa:ubuntu-toolchain-r/test -y
       - apt-key adv --keyserver keyserver.ubuntu.com --recv-keys BA9EF27F
       - add-apt-repository ppa:openjdk-r/ppa -y
       - apt-get update -y
       - apt-get install -y g++-5 flex bison make git libwww-perl patch ccache libc6-dev-i386 jq gdb
-      - apt-get install -y openjdk-8-jdk
       - update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-5 1
+      - update-alternatives --install /usr/bin/cpp cpp-bin /usr/bin/cpp-5 1
       - update-alternatives --install /usr/bin/g++ g++ /usr/bin/g++-5 1
   build:
     commands: