update Solaris instructions

Author: Daniel Kroening

COMPILING.md

@@ -79,21 +79,23 @@ We assume that you have a Debian/Ubuntu or Red Hat-like distribution.
 
 1. As root, get the necessary development tools:
    ```
-   pkg install system/header developer/lexer/flex developer/parser/bison developer/versioning/git
-   pkg install --accept developer/gcc/gcc-c++-5
+   pkgadd -d http://get.opencsw.org/now
+   /opt/csw/bin/pkgutil -U
+   /opt/csw/bin/pkgutil -i gcc5g++ bison flex git
    ```
 2. As a user, get the CBMC source via
    ```
+   export PATH=/opt/csw/bin:$PATH
    git clone https://github.com/diffblue/cbmc cbmc-git
    ```
 3. Get MiniSat2 by entering
    ```
    cd cbmc-git/src
-   gmake minisat2-download DOWNLOADER=wget
+   gmake minisat2-download DOWNLOADER=wget TAR=gtar
    ```
-4. Type
+4. To compile, type
    ```
-   cd src; gmake
+   gmake
    ```
    That should do it. To run, you will need
    ```