1 files changed, 12 insertions, 0 deletions
diff --git a/src/base/cba/cbaBlast.c b/src/base/cba/cbaBlast.c
index eeb8e56d..f227ebf4 100644
--- a/src/base/cba/cbaBlast.c
+++ b/src/base/cba/cbaBlast.c
@@ -22,6 +22,7 @@
 #include "base/abc/abc.h"
 #include "map/mio/mio.h"
 #include "bool/dec/dec.h"
+#include "base/main/mainInt.h"
 
 ABC_NAMESPACE_IMPL_START
 
@@ -489,6 +490,17 @@ void Cba_NtkPrepareLibrary( Cba_Man_t * p, Mio_Library_t * pLib )
             Abc_NamStrFindOrAdd( p->pMods, Mio_GateReadName(pGate), NULL );
     assert( Abc_NamObjNumMax(p->pMods) > 1 );
 }
+int Cba_NtkBuildLibrary( Cba_Man_t * p )
+{
+    int RetValue = 1;
+    Mio_Library_t * pLib = (Mio_Library_t *)Abc_FrameReadLibGen( Abc_FrameGetGlobalFrame() );
+    if ( pLib == NULL )
+        printf( "The standard cell library is not available.\n" ), RetValue = 0;
+    else
+        Cba_NtkPrepareLibrary( p, pLib );
+    p->pMioLib = pLib;
+    return RetValue;
+}
 void Cba_NtkInsertNtk( Cba_Man_t * p, Abc_Ntk_t * pNtk )
 {
     Cba_Ntk_t * pCbaNtk, * pRoot = Cba_ManRoot( p );