#!/bin/sh

if [ .$1 = . ]
then
	echo Error: you must give the name of the tar archive to build as first argument
	exit 2
fi

# Initially, I am in the proverif/demo directory
cd ../..
tar -czf $1 proverif/demo proverif/build proverif/src/*.ml* proverif/src/rusage.c proverif/cssproverif.css
cd proverif/demo
