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

fixes 

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@1684 6afb6bc1-c8e4-404c-8f48-9ae832c5b171
This commit is contained in:
kroening 2012-09-14 20:07:19 +00:00
parent 3f1ad944ed
commit 0249048c16
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/cbmc/dist-linux
View File

@ -13,13 +13,14 @@ DEB_ARCH=`dpkg --print-architecture`
echo $VERSION_FILE
(cd ../goto-cc; make; strip goto-cc)
(cd ../hw-cbmc; make; strip hw-cbmc)
(cd ~/progr/hw-cbmc/trunk/src/hw-cbmc; make; strip hw-cbmc)
(cd ../goto-instrument; make; strip goto-instrument)
mkdir /tmp/cbmc-dist
cp ../hw-cbmc/hw-cbmc ../cbmc/cbmc ../goto-cc/goto-cc \
cp ~/progr/hw-cbmc/trunk/src/hw-cbmc/hw-cbmc ../cbmc/cbmc ../goto-cc/goto-cc \
../goto-instrument/goto-instrument /tmp/cbmc-dist/
cp ../../LICENSE /tmp/cbmc-dist/
cp ../../doc/man/cbmc.1 /tmp/cbmc-dist/
cd /tmp/cbmc-dist
tar cfz cbmc-${VERSION_FILE}-linux-${BITS}.tgz hw-cbmc cbmc \
goto-cc goto-instrument LICENSE
@ -33,7 +34,7 @@ mkdir debian/usr/share/man
mkdir debian/usr/share/man/man1
cp hw-cbmc cbmc goto-cc goto-instrument \
debian/usr/bin/
cp ../../doc/man/cbmc.1 debian/usr/share/man/man1
cp cbmc.1 debian/usr/share/man/man1
cat > debian/DEBIAN/control << EOM
Package: cbmc