diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-03-02 00:57:48 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-03-02 00:57:48 -0800 |
| commit | 7926d75ecb4ffd4441bea0c2d731e5b533534ee3 (patch) | |
| tree | 42bd5aa54fe84a6f1e635c8a77a412beb1b4258c /src/base/main/main.c | |
| parent | a6f363d4615d01484af29cf8dcc53c87faeb2f3b (diff) | |
| download | abc-7926d75ecb4ffd4441bea0c2d731e5b533534ee3.tar.gz abc-7926d75ecb4ffd4441bea0c2d731e5b533534ee3.tar.bz2 abc-7926d75ecb4ffd4441bea0c2d731e5b533534ee3.zip | |
Adding features related to the communication bridge.
Diffstat (limited to 'src/base/main/main.c')
| -rw-r--r-- | src/base/main/main.c | 14 |
1 files changed, 12 insertions, 2 deletions
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 ) { |