#!/bin/bash
make
strip cbmc

VERSION=`./cbmc --version`
VERSION_FILE=`echo $VERSION | sed "y/./-/"`

echo $VERSION_FILE

cd ../hw-cbmc
make
strip hw-cbmc

mkdir /tmp/cbmc-dist
cp hw-cbmc ../cbmc/cbmc /tmp/cbmc-dist/
cp ../LICENSE /tmp/cbmc-dist/
cd /tmp/cbmc-dist
tar cfz cbmc-${VERSION_FILE}-linux.tgz hw-cbmc cbmc LICENSE

echo Copying.
cp cbmc-${VERSION_FILE}-linux.tgz /afs/ethz.ch/users/d/daniekro/public/cbmc-web/download/
cp hw-cbmc cbmc /afs/ethz.ch/users/d/daniekro/public/

cd /tmp
rm -R /tmp/cbmc-dist
