From 16e264b9f3f4eea992005383d2ecb3ab06c44f49 Mon Sep 17 00:00:00 2001 From: Daniel Kroening Date: Wed, 5 Sep 2018 15:29:49 +0100 Subject: [PATCH 1/2] update Solaris instructions --- COMPILING.md | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) diff --git a/COMPILING.md b/COMPILING.md index ed0124658e1..f7b2b8dced8 100644 --- a/COMPILING.md +++ b/COMPILING.md @@ -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 ``` From 485d4c754884e58b7b521813c61a01aca69bcbc7 Mon Sep 17 00:00:00 2001 From: Daniel Kroening Date: Thu, 6 Sep 2018 06:14:52 +0100 Subject: [PATCH 2/2] maven on Windows, FreeBSD and Mac --- COMPILING.md | 12 +++++++----- 1 file changed, 7 insertions(+), 5 deletions(-) diff --git a/COMPILING.md b/COMPILING.md index f7b2b8dced8..eae0ae2606b 100644 --- a/COMPILING.md +++ b/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 ``` @@ -108,7 +108,7 @@ Maven 3 manually. ``` To compile JBMC, additionally install ``` - pkg install openjdk8 wget + pkg install openjdk8 wget maven3 ``` 2. As a user, get the CBMC source via ``` @@ -146,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 @@ -189,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