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

updated Solaris 11 instructions 

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@4116 6afb6bc1-c8e4-404c-8f48-9ae832c5b171
This commit is contained in:
kroening 2014-06-16 13:44:09 +00:00
parent eba7026e7a
commit a0c50f743a
1 changed files with 3 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
COMPILING
View File

@ -63,15 +63,14 @@ COMPILATION ON SOLARIS 11
3) Get MiniSat2 by entering
cd src
cd cbmc-trunk
wget http://ftp.debian.org/debian/pool/main/m/minisat2/minisat2_2.2.0.orig.tar.gz
gtar xfz minisat_2.2.0.orig.tar.gz
mv minisat-2.2.0 ../
(cd ../minisat-2.2.0; patch -p1 < ../scripts/minisat-2.2.0-patch)
(cd minisat-2.2.0; patch -p1 < ../scripts/minisat-2.2.0-patch)
4) Type
gmake CXX=/opt/csw/bin/g++
cd src; gmake CXX=/opt/csw/bin/g++
That should do it.