commit of project structure including autotools support
[cvc5.git] / autogen.sh
1 #!/bin/sh -ex
2
3 cd "$(dirname "$0")"
4 mkdir -p m4
5 libtoolize --copy
6 autoheader -I m4
7 touch NEWS README AUTHORS ChangeLog
8 touch stamp-h
9 aclocal -I m4
10 autoconf -I m4
11 automake -ac --foreign