diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-01-08 13:56:20 +0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-01-08 13:56:20 +0800 |
| commit | a625caa17dd44da4be41edb112c5918dc4e95c57 (patch) | |
| tree | d5a63a98d7a6ad54ba5b0cf073525b82ca83c2c0 /src/misc | |
| parent | f26e760e9deb0dc0068793ab0838ade65ab6fd3d (diff) | |
| download | abc-a625caa17dd44da4be41edb112c5918dc4e95c57.tar.gz abc-a625caa17dd44da4be41edb112c5918dc4e95c57.tar.bz2 abc-a625caa17dd44da4be41edb112c5918dc4e95c57.zip | |
Fixing C++ compilation issues.
Diffstat (limited to 'src/misc')
| -rw-r--r-- | src/misc/util/abc_global.h | 4 | ||||
| -rw-r--r-- | src/misc/util/utilBridge.c | 8 |
2 files changed, 8 insertions, 4 deletions
diff --git a/src/misc/util/abc_global.h b/src/misc/util/abc_global.h index 7535014b..21546842 100644 --- a/src/misc/util/abc_global.h +++ b/src/misc/util/abc_global.h @@ -268,10 +268,14 @@ enum Abc_VerbLevel ABC_VERBOSE = 2 }; +#define BRIDGE_NETLIST 106 +#define BRIDGE_ABS_NETLIST 107 + // string printing extern char * vnsprintf(const char* format, va_list args); extern char * nsprintf(const char* format, ...); extern int Gia_ManToBridgeText( FILE * pFile, int Size, unsigned char * pBuffer ); +extern int Gia_ManToBridgeAbsNetlist( FILE * pFile, void * p, int pkg_type ); // misc printing procedures static inline void Abc_Print( int level, const char * format, ... ) diff --git a/src/misc/util/utilBridge.c b/src/misc/util/utilBridge.c index 493047f7..3ac7ba2c 100644 --- a/src/misc/util/utilBridge.c +++ b/src/misc/util/utilBridge.c @@ -33,8 +33,8 @@ ABC_NAMESPACE_IMPL_START #define BRIDGE_TEXT_MESSAGE 999996 #define BRIDGE_RESULTS 101 -#define BRIDGE_NETLIST 106 -#define BRIDGE_ABS_NETLIST 107 +//#define BRIDGE_NETLIST 106 +//#define BRIDGE_ABS_NETLIST 107 #define BRIDGE_BAD_ABS 105 #define BRIDGE_VALUE_X 0 @@ -146,10 +146,10 @@ int Gia_ManToBridgeText( FILE * pFile, int Size, unsigned char * pBuffer ) Gia_CreateHeader( pFile, BRIDGE_TEXT_MESSAGE, Size, pBuffer ); return 1; } -int Gia_ManToBridgeAbsNetlist( FILE * pFile, Gia_Man_t * p, int pkg_type ) +int Gia_ManToBridgeAbsNetlist( FILE * pFile, void * p, int pkg_type ) { Vec_Str_t * vBuffer; - vBuffer = Gia_ManToBridgeVec( p ); + vBuffer = Gia_ManToBridgeVec( (Gia_Man_t *)p ); Gia_CreateHeader( pFile, pkg_type, Vec_StrSize(vBuffer), (unsigned char *)Vec_StrArray(vBuffer) ); Vec_StrFree( vBuffer ); return 1; |