From 29e996252b1428d06841eaaf5df9cc28b9e16476 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Fri, 21 May 2004 14:01:00 +0000
Subject: [PATCH] - More changes.

---
 src/ChangeLog => ChangeLog |  0
 configure.in               | 14 +++++++++++---
 2 files changed, 11 insertions(+), 3 deletions(-)
 rename src/ChangeLog => ChangeLog (100%)

diff --git a/src/ChangeLog b/ChangeLog
similarity index 100%
rename from src/ChangeLog
rename to ChangeLog
diff --git a/configure.in b/configure.in
index 6f3a755..97d63ab 100644
--- a/configure.in
+++ b/configure.in
@@ -1,14 +1,22 @@
 AC_INIT(main.c)
-AM_INIT_AUTOMAKE(Scyther, 0.2)
+AM_INIT_AUTOMAKE(Scyther, 0.2, ccremers@win.tue.nl)
+AC_CONFIG_SRCDIR([src/modelchecker.c])
             
 dnl find and test the C compiler
 AC_PROG_CC
 AC_LANG_C
+AC_PROG_INSTALL
         
 AC_PROG_MAKE_SET
-               
+
+# Checks for header files.
 AC_HEADER_STDC
-AC_CHECK_FUNC(atol,,AC_MSG_ERROR(oops! no atol ?!?))
+AC_CHECK_HEADERS([limits.h malloc.h stddef.h stdlib.h strings.h unistd.h])
+
+# Checks for library functions.
+AC_FUNC_MALLOC
+AC_FUNC_REALLOC
+               
 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