Add a script to output the number of states/running time/number of traversal for...

[tatoo.git] / configure.in

diff --git a/configure.in b/configure.in
index 1a6b561..fd2059e 100644 (file)
--- a/configure.in
+++ b/configure.in
@@ -250,4 +250,5 @@ AC_SUBST(OCAMLCFLAGS)
 AC_SUBST(OCAMLOPTFLAGS)
 AC_SUBST(CAMLP4FLAGS)
 AC_CONFIG_FILES(Remakefile)
+AC_CONFIG_FILES(Makefile)
 AC_OUTPUT