/* include/config.h.  Generated from config.h.in by configure.  */
/* include/config.h.in.  Generated from configure.ac by autoheader.  */

/* A compiler identification string */
#define COMPILER_STRING "Compiled with g++-4.7.2    -DBOOST_DISABLE_THREADS"

/* Define if the library implementation of streambuf have public interface to
   override */
/* #undef CXX_OLD_STREAMBUF */

/* Define to the namespace of slist (if not in std) */
#define CXX_SLIST_NAMESPACE __gnu_cxx

/* Version of the DBM library */
#define DBM_VERSION "2.0.8"

/* Define to 1 if you have the <boost/bind.hpp> header file. */
#define HAVE_BOOST_BIND_HPP 1

/* Define to 1 if you have the <boost/lambda/bind.hpp> header file. */
#define HAVE_BOOST_LAMBDA_BIND_HPP 1

/* Define to 1 if you have the <boost/lambda/lambda.hpp> header file. */
#define HAVE_BOOST_LAMBDA_LAMBDA_HPP 1

/* Define to 1 if you have the <errno.h> header file. */
#define HAVE_ERRNO_H 1

/* Define if slist is in ext */
#define HAVE_EXT_SLIST 1

/* Define to 1 if you have the `index' function. */
#define HAVE_INDEX 1

/* Define to 1 if you have the <inttypes.h> header file. */
#define HAVE_INTTYPES_H 1

/* Define to 1 if you have the <memory.h> header file. */
#define HAVE_MEMORY_H 1

/* Define if slist is not in ext */
/* #undef HAVE_SLIST */

/* Define to 1 if you have the <sstream> header file. */
#define HAVE_SSTREAM 1

/* Define to 1 if you have the <stdint.h> header file. */
#define HAVE_STDINT_H 1

/* Define to 1 if you have the <stdlib.h> header file. */
#define HAVE_STDLIB_H 1

/* Define to 1 if you have the <strings.h> header file. */
#define HAVE_STRINGS_H 1

/* Define to 1 if you have the <string.h> header file. */
#define HAVE_STRING_H 1

/* Define to 1 if you have the <strstream> header file. */
#define HAVE_STRSTREAM 1

/* Define to 1 if you have the <sys/stat.h> header file. */
#define HAVE_SYS_STAT_H 1

/* Define to 1 if you have the <sys/types.h> header file. */
#define HAVE_SYS_TYPES_H 1

/* Define to 1 if you have the <sys/wait.h> header file. */
#define HAVE_SYS_WAIT_H 1

/* Define to 1 if you have the <unistd.h> header file. */
#define HAVE_UNISTD_H 1

/* Define to 1 when on Intel architecture */
#define INTEL_ARCH 1

/* Define to the address where bug reports for this package should be sent. */
#define PACKAGE_BUGREPORT "bug-uppaal@list.it.uu.se"

/* The release month */
#define PACKAGE_MONTH "April"

/* Define to the full name of this package. */
#define PACKAGE_NAME "UPPAAL"

/* Define to the full name and version of this package. */
#define PACKAGE_STRING "UPPAAL 4.1.4 ()"

/* Define to the one symbol short name of this package. */
#define PACKAGE_TARNAME "uppaal"

/* Define to the version of this package. */
#define PACKAGE_VERSION "4.1.4 ()"

/* The release year */
#define PACKAGE_YEAR "2011"

/* Define to 1 if you have the ANSI C header files. */
#define STDC_HEADERS 1

/* Tiga version */
#define TIGA_VERSION "4.1.4-0.16 ()"

/* The UPPAAL version number */
#define VERSION "4.1.4 ()"

/* Define to 1 if `lex' declares `yytext' as a `char *' by default, not a
   `char[]'. */
/* #undef YYTEXT_POINTER */

/* Define to 1 if type `char' is unsigned and you are not using gcc.  */
#ifndef __CHAR_UNSIGNED__
/* # undef __CHAR_UNSIGNED__ */
#endif

/* Define to empty if `const' does not conform to ANSI C. */
/* #undef const */
