- Added a bootstrap file, more testing.

src/Makefile.am

@@ -11,7 +11,7 @@ scyther_SOURCES = main.c \
 		 output.c latex.c varbuf.c tracebuf.c \
 		 attackminimize.c tac.c \
 		 compiler.c \
-		 scanner.lex parser.y
+		 scanner.l parser.y
 scyther_LDADD = @LEXLIB@
 
 

src/bootstrap

@@ -0,0 +1,6 @@
+#! /bin/sh
+
+aclocal \
+&& automake --gnu --add-missing \
+&& autoconf
+

src/configure.in

@@ -9,7 +9,7 @@ AC_PROG_MAKE_SET
                
 AC_HEADER_STDC
 AC_CHECK_FUNC(atol,,AC_MSG_ERROR(oops! no atol ?!?))
-AC_CHECK_LIB(argtable2, arg_parse,,AC_MSG_ERROR(Scyther requires the argtable2 package. Get it from http://argtable.sourceforge.net/))
+AC_CHECK_LIB(argtable2, arg_parse,,AC_MSG_ERROR(Scyther requires the argtable2 package (LGPL). Get it from http://argtable.sourceforge.net/))
 AC_PROG_YACC
 AM_PROG_LEX
                   

src/main.c

@@ -36,7 +36,7 @@
 #include "symbols.h"
 #include "pheading.h"
 #include "symbols.h"
-#include "tok.h"
+#include "parser.h"
 #include "tac.h"
 #include "compiler.h"
 #include "latex.h"