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/amap | |
| 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/amap')
| -rw-r--r-- | src/map/amap/amap.h | 2 | ||||
| -rw-r--r-- | src/map/amap/amapInt.h | 1 | ||||
| -rw-r--r-- | src/map/amap/amapLiberty.c | 4 |
3 files changed, 4 insertions, 3 deletions
diff --git a/src/map/amap/amap.h b/src/map/amap/amap.h index 0a0c7cc0..b4c8b574 100644 --- a/src/map/amap/amap.h +++ b/src/map/amap/amap.h @@ -78,7 +78,7 @@ extern void Amap_LibFree( Amap_Lib_t * p ); extern void Amap_LibPrintSelectedGates( Amap_Lib_t * p, int fAllGates ); extern Amap_Lib_t * Amap_LibReadAndPrepare( char * pFileName, int fVerbose, int fVeryVerbose ); /*=== amapLiberty.c ==========================================================*/ -extern int Amap_LibertyParse( char * pFileName, char * pFileGenlib, int fVerbose ); +extern int Amap_LibertyParse( char * pFileName, int fVerbose ); ABC_NAMESPACE_HEADER_END diff --git a/src/map/amap/amapInt.h b/src/map/amap/amapInt.h index e2284ce6..7a9bef7a 100644 --- a/src/map/amap/amapInt.h +++ b/src/map/amap/amapInt.h @@ -26,6 +26,7 @@ /// INCLUDES /// //////////////////////////////////////////////////////////////////////// +#include "misc/extra/extra.h" #include "aig/aig/aig.h" #include "amap.h" diff --git a/src/map/amap/amapLiberty.c b/src/map/amap/amapLiberty.c index b8232024..20624882 100644 --- a/src/map/amap/amapLiberty.c +++ b/src/map/amap/amapLiberty.c @@ -914,7 +914,7 @@ void Amap_LibertyStop( Amap_Tree_t * p ) SeeAlso [] ***********************************************************************/ -int Amap_LibertyParse( char * pFileName, char * pFileGenlib, int fVerbose ) +int Amap_LibertyParse( char * pFileName, int fVerbose ) { Amap_Tree_t * p; char * pPos; @@ -930,7 +930,7 @@ int Amap_LibertyParse( char * pFileName, char * pFileGenlib, int fVerbose ) if ( fVerbose ) printf( "Parsing finished successfully.\n" ); // Amap_LibertyPrintLiberty( p, "temp_.lib" ); - Amap_LibertyPrintGenlib( p, "temp.genlib", fVerbose ); + Amap_LibertyPrintGenlib( p, Extra_FileNameGenericAppend(pFileName, ".genlib"), fVerbose ); RetValue = 1; } else |