try to clean-up makefiles and autoconfs

2014-10-26 17:39:52 +00:00
parent 9cd2975532
commit 2053c44054
18 changed files with 143 additions and 86 deletions
--- a/packages/cplint/slipcase/bddem.c
+++ b/packages/cplint/slipcase/bddem.c
@@ -13,7 +13,12 @@ for the relative license.
 #include <stdlib.h>
 #include <stdio.h>
 #include <string.h>
+#include "config.h"
+#if HAVE_CUDD_CUDDINT_H
+#include "cudd/cuddInt.h"
+#else
 #include "cuddInt.h"
+#endif
 #include "YapInterface.h"
 #define LOGZERO log(0.000001)
 #define CACHE_SLOTS 1