From 99e3e3bc7e1132d032103c7904ed6a2f75f0f5db Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 24 Aug 2015 20:21:30 -0700
Subject: Changes to be able to compile ABC without CUDD.

---
 src/aig/ivy/ivyFraig.c | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/aig/ivy')

diff --git a/src/aig/ivy/ivyFraig.c b/src/aig/ivy/ivyFraig.c
index 4a1487e7..059f4c0e 100644
--- a/src/aig/ivy/ivyFraig.c
+++ b/src/aig/ivy/ivyFraig.c
@@ -2659,10 +2659,13 @@ p->timeTrav += Abc_Clock() - clk;
 
 ABC_NAMESPACE_IMPL_END
 
+#ifdef ABC_USE_CUDD
 #include "bdd/cudd/cuddInt.h"
+#endif
 
 ABC_NAMESPACE_IMPL_START
 
+#ifdef ABC_USE_CUDD
 
 /**Function*************************************************************
 
@@ -2814,6 +2817,7 @@ int Ivy_FraigNodesAreEquivBdd( Ivy_Obj_t * pObj1, Ivy_Obj_t * pObj2 )
     Vec_PtrFree( vFront );
     return RetValue;
 }
+#endif
 
 ABC_NAMESPACE_IMPL_END
 
-- 
cgit v1.2.3