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/base/io/ioReadEqn.c | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'src/base/io')

diff --git a/src/base/io/ioReadEqn.c b/src/base/io/ioReadEqn.c
index 1e4f5d46..999834d6 100644
--- a/src/base/io/ioReadEqn.c
+++ b/src/base/io/ioReadEqn.c
@@ -27,6 +27,8 @@ ABC_NAMESPACE_IMPL_START
 ///                        DECLARATIONS                              ///
 ////////////////////////////////////////////////////////////////////////
 
+#ifdef ABC_USE_CUDD
+
 static Abc_Ntk_t * Io_ReadEqnNetwork( Extra_FileReader_t * p );
 static void        Io_ReadEqnStrCompact( char * pStr );
 static int         Io_ReadEqnStrFind( Vec_Ptr_t * vTokens, char * pName );
@@ -233,6 +235,11 @@ void Io_ReadEqnStrCutAt( char * pStr, char * pStop, int fUniqueOnly, Vec_Ptr_t *
             Vec_PtrPush( vTokens, pToken );
 }
 
+#else
+
+Abc_Ntk_t * Io_ReadEqn( char * pFileName, int fCheck ) { return NULL; }
+
+#endif
 
 ////////////////////////////////////////////////////////////////////////
 ///                       END OF FILE                                ///
-- 
cgit v1.2.3