Update of /cvsroot/javabdd/JavaBDD/buddy
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv10679/buddy
Added Files:
config.h
Log Message:
Check in some version to avoid the autoreconf BS.
--- NEW FILE: config.h ---
/* config.h. Generated by configure. */
/* config.h.in. Generated from configure.ac by autoheader. */
/* Defube to 1 to gather statistical information about operator and unique
node caching (for debugging). */
/* #undef CACHESTATS */
/* Define to 1 if you have the <dlfcn.h> header file. */
#define HAVE_DLFCN_H 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 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 <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 <unistd.h> header file. */
#define HAVE_UNISTD_H 1
/* BuDDy's major version. */
#define MAJOR_VERSION 2
/* BuDDy's minor version. */
#define MINOR_VERSION 4
/* Define to the address where bug reports for this package should be sent. */
#define PACKAGE_BUGREPORT ""
/* Define to the full name of this package. */
#define PACKAGE_NAME "buddy"
/* Define to the full name and version of this package. */
#define PACKAGE_STRING "buddy 2.4"
/* Define to the one symbol short name of this package. */
#define PACKAGE_TARNAME "buddy"
/* Define to the version of this package. */
#define PACKAGE_VERSION "2.4"
/* Define to 1 if you have the ANSI C header files. */
#define STDC_HEADERS 1
/* Define to 1 to count number of fundamental variable swaps (for debugging).
*/
/* #undef SWAPCOUNT */
/* Define to 1 if `lex' declares `yytext' as a `char *' by default, not a
`char[]'. */
#define YYTEXT_POINTER 1
|
