diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-20 12:41:59 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-20 12:41:59 -0700 |
commit | bc44087bacba80b775ac7956ed9032c517308e03 (patch) | |
tree | 31c8508d8bf2c2da05120dd90a607a63faf3fc05 /src/map/mio | |
parent | fdfb083c5c4f789c74aa573144b0aec45d1aaa76 (diff) | |
download | abc-bc44087bacba80b775ac7956ed9032c517308e03.tar.gz abc-bc44087bacba80b775ac7956ed9032c517308e03.tar.bz2 abc-bc44087bacba80b775ac7956ed9032c517308e03.zip |
Modified 'read' to read all types of libraries (genlib, liberty, scl).
Diffstat (limited to 'src/map/mio')
-rw-r--r-- | src/map/mio/mio.c | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/map/mio/mio.c b/src/map/mio/mio.c index 64a066f8..938dbf54 100644 --- a/src/map/mio/mio.c +++ b/src/map/mio/mio.c @@ -149,6 +149,7 @@ void Mio_End( Abc_Frame_t * pAbc ) ***********************************************************************/ int Mio_CommandReadLiberty( Abc_Frame_t * pAbc, int argc, char **argv ) { + char Command[1000]; FILE * pFile; FILE * pOut, * pErr; Abc_Ntk_t * pNet; @@ -196,9 +197,11 @@ int Mio_CommandReadLiberty( Abc_Frame_t * pAbc, int argc, char **argv ) } fclose( pFile ); - if ( !Amap_LibertyParse( FileName, "temp.genlib", fVerbose ) ) + if ( !Amap_LibertyParse( FileName, fVerbose ) ) return 0; - Cmd_CommandExecute( pAbc, "read_library temp.genlib" ); + assert( strlen(FileName) < 900 ); + sprintf( Command, "read_library %s", Extra_FileNameGenericAppend(FileName, ".genlib") ); + Cmd_CommandExecute( pAbc, Command ); return 0; usage: |