yap-6.3/packages/bdd/cudd_config.h

// cmake template file

/* Define to 1 if you have the <cuddInt.h> header file. */
#ifndef HAVE_CUDDINT_H
#define HAVE_CUDDINT_H 
#endif

/* Define to 1 if you have the <cudd/cuddInt.h> header file. */
#ifndef HAVE_CUDD_CUDDINT_H
#define HAVE_CUDD_CUDDINT_H 1
#endif

/* Define to 1 if you have the <cudd/cudd.h> header file. */
#ifndef HAVE_CUDD_CUDD_H
#define HAVE_CUDD_CUDD_H 1
#endif

/* Define to 1 if you have the <cudd.h> header file. */
#ifndef HAVE_CUDD_H
#define HAVE_CUDD_H 
#endif

/* Define to 1 if you have the <cudd/util.h> header file. */
#ifndef HAVE_CUDD_UTIL_H
#define HAVE_CUDD_UTIL_H 1
#endif

/* Define to 1 if you have the <util.h> header file. */
#ifndef HAVE_UTIL_H
#define HAVE_UTIL_H 1
#endif
Avoid complaining from strlen ` 2015-09-21 23:05:36 +01:00			`// cmake template file`

			`/* Define to 1 if you have the <cuddInt.h> header file. */`
			`#ifndef HAVE_CUDDINT_H`
configuration issues 2015-10-22 00:47:47 +01:00			`#define HAVE_CUDDINT_H`
Avoid complaining from strlen ` 2015-09-21 23:05:36 +01:00			`#endif`

			`/* Define to 1 if you have the <cudd/cuddInt.h> header file. */`
			`#ifndef HAVE_CUDD_CUDDINT_H`
			`#define HAVE_CUDD_CUDDINT_H 1`
			`#endif`

			`/* Define to 1 if you have the <cudd/cudd.h> header file. */`
			`#ifndef HAVE_CUDD_CUDD_H`
			`#define HAVE_CUDD_CUDD_H 1`
			`#endif`

			`/* Define to 1 if you have the <cudd.h> header file. */`
			`#ifndef HAVE_CUDD_H`
configuration issues 2015-10-22 00:47:47 +01:00			`#define HAVE_CUDD_H`
Avoid complaining from strlen ` 2015-09-21 23:05:36 +01:00			`#endif`

			`/* Define to 1 if you have the <cudd/util.h> header file. */`
			`#ifndef HAVE_CUDD_UTIL_H`
			`#define HAVE_CUDD_UTIL_H 1`
			`#endif`

			`/* Define to 1 if you have the <util.h> header file. */`
			`#ifndef HAVE_UTIL_H`
			`#define HAVE_UTIL_H 1`
			`#endif`