replica
/
diffblue-cbmc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

update Solaris instructions

This commit is contained in:
Daniel Kroening 2018-09-05 15:29:49 +01:00
parent d73d2dbcfb
commit 16e264b9f3
1 changed files with 4 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
COMPILING.md
View File

@ -77,16 +77,15 @@ We assume that you have a Debian/Ubuntu or Red Hat-like distribution.
# COMPILATION ON SOLARIS 11 # 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: 1. As root, get the necessary development tools:
``` ```
pkg install system/header pkg install gcc-c++-7 bison flex
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 2. As a user, get the CBMC source via
``` ```
export PATH=/opt/csw/bin:$PATH
git clone https://github.com/diffblue/cbmc cbmc-git git clone https://github.com/diffblue/cbmc cbmc-git
cd cbmc-git cd cbmc-git
``` ```