From f71f4e7ce87847840523bb693863f9d41ca353d2 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Fri, 21 May 2004 13:48:59 +0000
Subject: [PATCH] - Added a bootstrap file, more testing.

---
 src/Makefile.am  | 2 +-
 src/bootstrap    | 6 ++++++
 src/configure.in | 2 +-
 src/main.c       | 2 +-
 4 files changed, 9 insertions(+), 3 deletions(-)
 create mode 100755 src/bootstrap

diff --git a/src/Makefile.am b/src/Makefile.am
index 914688e..d2636d1 100644
--- a/src/Makefile.am
+++ b/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@
 
 
diff --git a/src/bootstrap b/src/bootstrap
new file mode 100755
index 0000000..3cb1458
--- /dev/null
+++ b/src/bootstrap
@@ -0,0 +1,6 @@
+#! /bin/sh
+
+aclocal \
+&& automake --gnu --add-missing \
+&& autoconf
+
diff --git a/src/configure.in b/src/configure.in
index ad2a994..50dd918 100644
--- a/src/configure.in
+++ b/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
                   
diff --git a/src/main.c b/src/main.c
index c352ed4..d514176 100644
--- a/src/main.c
+++ b/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"