From 77d64787e07638ac9e44ee892e4d4db5b52686e1 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 24 Aug 2015 19:49:18 -0700
Subject: Changes to be able to compile ABC without CUDD.

---
 src/bool/dec/decFactor.c | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

(limited to 'src/bool/dec/decFactor.c')

diff --git a/src/bool/dec/decFactor.c b/src/bool/dec/decFactor.c
index 391496e1..59ea6f26 100644
--- a/src/bool/dec/decFactor.c
+++ b/src/bool/dec/decFactor.c
@@ -19,9 +19,12 @@
 #include "base/abc/abc.h"
 #include "base/main/main.h"
 #include "misc/mvc/mvc.h"
-#include "misc/extra/extraBdd.h"
 #include "dec.h"
 
+#ifdef ABC_USE_CUDD
+#include "misc/extra/extraBdd.h"
+#endif
+
 ABC_NAMESPACE_IMPL_START
 
 
@@ -352,6 +355,8 @@ Mvc_Cover_t * Dec_ConvertSopToMvc( char * pSop )
     return pMvc;
 }
 
+#ifdef ABC_USE_CUDD
+
 /**Function*************************************************************
 
   Synopsis    [Verifies that the factoring is correct.]
@@ -387,6 +392,7 @@ int Dec_FactorVerify( char * pSop, Dec_Graph_t * pFForm )
     return RetValue;
 }
 
+#endif
 
 ////////////////////////////////////////////////////////////////////////
 ///                       END OF FILE                                ///
-- 
cgit v1.2.3