From 7926d75ecb4ffd4441bea0c2d731e5b533534ee3 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 2 Mar 2012 00:57:48 -0800
Subject: Adding features related to the communication bridge.

---
 src/base/main/main.c | 14 ++++++++++++--
 1 file changed, 12 insertions(+), 2 deletions(-)

(limited to 'src/base/main/main.c')

diff --git a/src/base/main/main.c b/src/base/main/main.c
index 0e2ff9f4..1572af91 100644
--- a/src/base/main/main.c
+++ b/src/base/main/main.c
@@ -35,7 +35,7 @@ ABC_NAMESPACE_IMPL_START
 ////////////////////////////////////////////////////////////////////////
 ///                        DECLARATIONS                              ///
 ////////////////////////////////////////////////////////////////////////
- 
+
 static int TypeCheck( Abc_Frame_t * pAbc, const char * s);
 
 ////////////////////////////////////////////////////////////////////////
@@ -111,7 +111,7 @@ int Abc_RealMain( int argc, char * argv[] )
     sprintf( sWriteCmd, "write" );
     
     Extra_UtilGetoptReset();
-    while ((c = Extra_UtilGetopt(argc, argv, "c:hf:F:o:st:T:x")) != EOF) {
+    while ((c = Extra_UtilGetopt(argc, argv, "c:hf:F:o:st:T:xb")) != EOF) {
         switch(c) {
             case 'c':
                 strcpy( sCommandUsr, globalUtilOptarg );
@@ -177,10 +177,20 @@ int Abc_RealMain( int argc, char * argv[] )
                 fBatch = 1;
                 break;
                 
+            case 'b':
+                Abc_FrameSetBridgeMode();
+                break;
+                
             default:
                 goto usage;
         }
     }
+
+    if ( Abc_FrameIsBridgeMode() )
+    {
+        extern Gia_Man_t * Gia_ManFromBridge( FILE * pFile, Vec_Int_t ** pvInit );
+        pAbc->pGia = Gia_ManFromBridge( stdin, NULL );
+    }
     
     if ( fBatch )
     {
-- 
cgit v1.2.3