Merge pull request diffblue#1970 from tautschnig/java-bytecode-fixes

Java bytecode build fixes
smowton · Mar 24, 2018 · 8e0f974 · 8e0f974
2 parents edb8eeb + df1c7e3
commit 8e0f974
Show file tree

Hide file tree

Showing 5 changed files with 11 additions and 9 deletions.
diff --git a/COMPILING.md b/COMPILING.md
@@ -21,11 +21,11 @@ We assume that you have a Debian/Ubuntu or Red Hat-like distribution.
    The GNU Make needs to be version 3.81 or higher.
    On Debian-like distributions, do
    ```
-   apt-get install g++ gcc flex bison make git libwww-perl patch
+   apt-get install g++ gcc flex bison make git libwww-perl patch openjdk-7-jdk
    ```
    On Red Hat/Fedora or derivates, do
    ```
-   yum install gcc gcc-c++ flex bison perl-libwww-perl patch devtoolset-6
+   yum install gcc gcc-c++ flex bison perl-libwww-perl patch devtoolset-6 java-1.7.0-openjdk-devel
    ```
    Note that you need g++ version 4.9 or newer.
 2. As a user, get the CBMC source via
@@ -91,7 +91,7 @@ We assume that you have a Debian/Ubuntu or Red Hat-like distribution.
 
 1. As root, get the necessary tools:
    ```
-   pkg install bash gmake git www/p5-libwww patch flex bison
+   pkg install bash gmake git www/p5-libwww patch flex bison openjdk
    ```
 2. As a user, get the CBMC source via
    ```
@@ -186,11 +186,11 @@ require manual modification of build files.
    --version`. To install all build dependencies:
    - On Debian-like distributions, do
      ```
-     apt-get install cmake g++ gcc flex bison make git libwww-perl patch
+     apt-get install cmake g++ gcc flex bison make git libwww-perl patch openjdk-7-jdk
      ```
    - On Red Hat/Fedora or derivates, do
      ```
-     yum install cmake gcc gcc-c++ flex bison perl-libwww-perl patch devtoolset-6
+     yum install cmake gcc gcc-c++ flex bison perl-libwww-perl patch devtoolset-6 java-1.7.0-openjdk-devel
      ```
    - On macOS, do
      ```

diff --git a/scripts/perf-test/codebuild-glucose.yaml b/scripts/perf-test/codebuild-glucose.yaml
@@ -66,7 +66,7 @@ Resources:
                                 - apt-get install -y software-properties-common
                                 - add-apt-repository ppa:ubuntu-toolchain-r/test
                                 - apt-get update -y
-                                - apt-get install -y libwww-perl g++-5 flex bison git
+                                - apt-get install -y libwww-perl g++-5 flex bison git openjdk-7-jdk
                                 - update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-5 1
                                 - update-alternatives --install /usr/bin/g++ g++ /usr/bin/g++-5 1
                         build:
@@ -109,7 +109,7 @@ Resources:
                                 - apt-get install -y software-properties-common
                                 - add-apt-repository ppa:ubuntu-toolchain-r/test
                                 - apt-get update -y
-                                - apt-get install -y libwww-perl g++-5 flex bison git
+                                - apt-get install -y libwww-perl g++-5 flex bison git openjdk-7-jdk
                                 - update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-5 1
                                 - update-alternatives --install /usr/bin/g++ g++ /usr/bin/g++-5 1
                         build:

diff --git a/scripts/perf-test/codebuild.yaml b/scripts/perf-test/codebuild.yaml
@@ -66,7 +66,7 @@ Resources:
                                 - apt-get install -y software-properties-common
                                 - add-apt-repository ppa:ubuntu-toolchain-r/test
                                 - apt-get update -y
-                                - apt-get install -y libwww-perl g++-5 flex bison git
+                                - apt-get install -y libwww-perl g++-5 flex bison git openjdk-7-jdk
                                 - update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-5 1
                                 - update-alternatives --install /usr/bin/g++ g++ /usr/bin/g++-5 1
                         build:
@@ -108,7 +108,7 @@ Resources:
                                 - apt-get install -y software-properties-common
                                 - add-apt-repository ppa:ubuntu-toolchain-r/test
                                 - apt-get update -y
-                                - apt-get install -y libwww-perl g++-5 flex bison git
+                                - apt-get install -y libwww-perl g++-5 flex bison git openjdk-7-jdk
                                 - update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-5 1
                                 - update-alternatives --install /usr/bin/g++ g++ /usr/bin/g++-5 1
                         build:

diff --git a/src/java_bytecode/java_bytecode_parse_tree.h b/src/java_bytecode/java_bytecode_parse_tree.h
@@ -11,6 +11,7 @@ Author: Daniel Kroening, [email protected]
 #define CPROVER_JAVA_BYTECODE_JAVA_BYTECODE_PARSE_TREE_H
 
 #include <set>
+#include <map>
 
 #include <util/optional.h>
 #include <util/std_code.h>

diff --git a/src/java_bytecode/java_enum_static_init_unwind_handler.cpp b/src/java_bytecode/java_enum_static_init_unwind_handler.cpp
@@ -11,6 +11,7 @@ Author: Chris Smowton, [email protected]
 
 #include "java_enum_static_init_unwind_handler.h"
 
+#include <util/invariant.h>
 #include <util/suffix.h>
 
 /// Unwind handler that special-cases the clinit (static initializer) functions