Merge pull request #2903 from diffblue/solaris-11.4

update Solaris instructions

Author: tautschnig

COMPILING.md

@@ -34,8 +34,8 @@ We assume that you have a Debian/Ubuntu or Red Hat-like distribution.
    yum install gcc72-c++ flex bison perl-libwww-perl patch
    ```
 
-   To compile JBMC, you additionally need the JDK and the java-models-library.
-   For the JDK, on Debian-like distributions, do as root:
+   To compile JBMC, you additionally need the JDK and Maven 3.
+   On Debian-like distributions, do as root:
    ```
    apt-get install openjdk-8-jdk maven
    ```
@@ -77,16 +77,15 @@ We assume that you have a Debian/Ubuntu or Red Hat-like distribution.
 
 # COMPILATION ON SOLARIS 11
 
+We assume Solaris 11.4 or newer.  To build JBMC, you'll need to install
+Maven 3 manually.
+
 1. As root, get the necessary development tools:
    ```
-   pkg install system/header
-   pkgadd -d http://get.opencsw.org/now
-   /opt/csw/bin/pkgutil -U
-   /opt/csw/bin/pkgutil -i gcc5g++ bison flex git
+   pkg install gcc-c++-7 bison flex
    ```
 2. As a user, get the CBMC source via
    ```
-   export PATH=/opt/csw/bin:$PATH
    git clone https://github.com/diffblue/cbmc cbmc-git
    cd cbmc-git
    ```
@@ -109,7 +108,7 @@ We assume that you have a Debian/Ubuntu or Red Hat-like distribution.
    ```
    To compile JBMC, additionally install
    ```
-   pkg install openjdk8 wget
+   pkg install openjdk8 wget maven3
    ```
 2. As a user, get the CBMC source via
    ```
@@ -147,7 +146,8 @@ Follow these instructions:
    make -C src minisat2-download
    make -C src
    ```
-4. To compile JBMC, do
+4. To compile JBMC, you additionally need Maven 3, which has to be installed
+   manually. Then do
    ```
    make -C jbmc/src setup-submodules
    make -C jbmc/src
@@ -190,7 +190,8 @@ Follow these instructions:
    make -C src DOWNLOADER=wget minisat2-download
    make -C src
    ```
-5. To compile JBMC, open the Cygwin shell and type
+5. To compile JBMC, you additionally need the JDK and Maven 3, which have
+   to be installed manually. Then open the Cygwin shell and type
    ```
    make -C jbmc/src setup-submodules
    make -C jbmc/src