diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-15 18:28:29 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-15 18:28:29 -0700 |
| commit | 931e5882b1e7517fd5087481c6c1b32a04333149 (patch) | |
| tree | bb20d66e4317d7e2bb1af60c77022c287df67aef | |
| parent | ff5d3591d1e7d90199d7395cde9fc6d902ed4b41 (diff) | |
| download | abc-931e5882b1e7517fd5087481c6c1b32a04333149.tar.gz abc-931e5882b1e7517fd5087481c6c1b32a04333149.tar.bz2 abc-931e5882b1e7517fd5087481c6c1b32a04333149.zip | |
Infrastructure to support full Liberty format and unitification of library representations.
| -rw-r--r-- | src/map/scl/sclLiberty.c | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/map/scl/sclLiberty.c b/src/map/scl/sclLiberty.c index 4b98f7ef..e4b14405 100644 --- a/src/map/scl/sclLiberty.c +++ b/src/map/scl/sclLiberty.c @@ -19,6 +19,8 @@ ***********************************************************************/ #include "sclLib.h" +#include "misc/st/st.h" +#include "map/mio/mio.h" ABC_NAMESPACE_IMPL_START @@ -476,7 +478,8 @@ char * Scl_LibertyFileContents( char * pFileName, int nContents ) { FILE * pFile = fopen( pFileName, "rb" ); char * pContents = ABC_ALLOC( char, nContents+1 ); - int RetValue = fread( pContents, nContents, 1, pFile ); + int RetValue; + RetValue = fread( pContents, nContents, 1, pFile ); fclose( pFile ); pContents[nContents] = 0; return pContents; @@ -1240,7 +1243,6 @@ Vec_Str_t * Scl_LibertyReadSclStr( Scl_Tree_t * p, int fVerbose, int fVeryVerbos // output pins Scl_ItemForEachChildName( p, pCell, pPin, "pin" ) { - extern Vec_Wrd_t * Mio_ParseFormulaTruth( char * pFormInit, char ** ppVarNames, int nVars ); if ( !Scl_LibertyReadPinFormula(p, pPin) ) // skip input pin continue; assert( Scl_LibertyReadPinDirection(p, pPin) == 1 ); |