diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix config

Browse Source
This commit is contained in:
Vitor Santos Costa 2015-10-20 03:10:13 +01:00
parent 1d10b9c709
commit 438cd7dce5
4 changed files with 27 additions and 30 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
packages/bdd/cudd.c
View File

@ -41,17 +41,15 @@ CUDD will generate better/faster code.
#include "cudd_config.h"
#include "YapInterface.h"
#if HAVE_UTIL_H
#include <util.h>
#endif
#if HAVE_CUDD_UTIL_H
#include <cudd/util.h>
#endif
#if HAVE_CUDD_H
#include "cudd.h"
#elif HAVE_UTIL_H
#include <util.h>
#endif
#if HAVE_CUDD_CUDD_H
#include "cudd/cudd.h"
#elif HAVE_CUDD_H
#include "cudd.h"
#endif
static YAP_Functor FunctorDollarVar,

12
packages/bdd/cudd_config.h.cmake
View File

@ -2,31 +2,31 @@
/* Define to 1 if you have the <cuddInt.h> header file. */
#ifndef HAVE_CUDDINT_H
#cmakedefine HAVE_CUDDINT_H ${HAVE_CUDDINT_H}
#define HAVE_CUDDINT_H ${HAVE_CUDDINT_H}
#endif
/* Define to 1 if you have the <cudd/cuddInt.h> header file. */
#ifndef HAVE_CUDD_CUDDINT_H
#cmakedefine HAVE_CUDD_CUDDINT_H ${HAVE_CUDD_CUDDINT_H}
#define HAVE_CUDD_CUDDINT_H ${HAVE_CUDD_CUDDINT_H}
#endif
/* Define to 1 if you have the <cudd/cudd.h> header file. */
#ifndef HAVE_CUDD_CUDD_H
#cmakedefine HAVE_CUDD_CUDD_H ${HAVE_CUDD_CUDD_H}
#define HAVE_CUDD_CUDD_H ${HAVE_CUDD_CUDD_H}
#endif
/* Define to 1 if you have the <cudd.h> header file. */
#ifndef HAVE_CUDD_H
#cmakedefine HAVE_CUDD_H ${HAVE_CUDD_H}
#define HAVE_CUDD_H ${HAVE_CUDD_H}
#endif
/* Define to 1 if you have the <cudd/util.h> header file. */
#ifndef HAVE_CUDD_UTIL_H
#cmakedefine HAVE_CUDD_UTIL_H ${HAVE_CUDD_UTIL_H}
#define HAVE_CUDD_UTIL_H ${HAVE_CUDD_UTIL_H}
#endif
/* Define to 1 if you have the <util.h> header file. */
#ifndef HAVE_UTIL_H
#cmakedefine HAVE_UTIL_H ${HAVE_UTIL_H}
#define HAVE_UTIL_H ${HAVE_UTIL_H}
#endif

18
packages/bdd/simplecudd/simplecudd.h
View File

@ -194,24 +194,24 @@
#include <time.h>
#include "config.h"
#include "../cudd_config.h"
#if HAVE_UTIL_H
#include <util.h>
#endif
#if HAVE_CUDD_UTIL_H
#include <cudd/util.h>
#endif
#if HAVE_CUDD_H
#include "cudd.h"
#elif HAVE_UTIL_H
#include <util.h>
#endif
#if HAVE_CUDD_CUDD_H
#include "cudd/cudd.h"
#elif HAVE_CUDD_H
#include "cudd.h"
#endif
#if HAVE_CUDDINT_H
#include "cuddInt.h"
#endif
#if HAVE_CUDD_CUDDINT_H
#include "cudd/cuddInt.h"
#elif HAVE_CUDDINT_H
#include "cuddInt.h"
#endif
#include "general.h"
#define IsHigh(manager, node) HIGH(manager) == node

17
packages/bdd/simplecudd_lfi/simplecudd.h
View File

@ -193,24 +193,23 @@
#include "pqueue.h"
#include "config.h"
#include "../cudd_config.h"
#if HAVE_UTIL_H
#include <util.h>
#endif
#if HAVE_CUDD_UTIL_H
#include <cudd/util.h>
#endif
#if HAVE_CUDD_H
#include "cudd.h"
#elif HAVE_UTIL_H
#include <util.h>
#endif
#if HAVE_CUDD_CUDD_H
#include "cudd/cudd.h"
#elif HAVE_CUDD_H
#include "cudd.h"
#endif
#if HAVE_CUDDINT_H
#include "cuddInt.h"
#endif
#if HAVE_CUDD_CUDDINT_H
#include "cudd/cuddInt.h"
#elif HAVE_CUDDINT_H
#include "cuddInt.h"
#endif
#include "general.h"
#define IsHigh(manager, node) HIGH(manager) == node