#!/bin/bash

rm -Rf /tmp/ansi-c-lib/
cp -a ansi-c/ /tmp/ansi-c-lib/
cd /tmp/ansi-c-lib
rm -R `find ./ -type d -name CVS`
cd ..
tar cvfz ansi-c-lib.tgz ansi-c-lib/
cp ansi-c-lib.tgz \
  /afs/ethz.ch/users/d/daniekro/public/cbmc-web/download/
