more build system work
[cvc5.git] / autogen.sh
1 #!/bin/sh -ex
2
3 cd "$(dirname "$0")"
4 libtoolize --copy
5 autoheader -I config
6 touch NEWS README AUTHORS ChangeLog
7 touch stamp-h
8 aclocal -I config
9 autoconf -I config
10 automake -ac --foreign -Woverride