diff options
Diffstat (limited to 'src/base/main')
-rw-r--r-- | src/base/main/main.h | 86 | ||||
-rw-r--r-- | src/base/main/mainInt.h | 34 |
2 files changed, 70 insertions, 50 deletions
diff --git a/src/base/main/main.h b/src/base/main/main.h index b5cc0dfe..852b8f25 100644 --- a/src/base/main/main.h +++ b/src/base/main/main.h @@ -14,7 +14,7 @@ Date [Ver. 1.0. Started - June 20, 2005.] - Revision [$Id: main.h,v 1.00 2005/06/20 00:00:00 alanmi Exp $] + Revision [$Id: main.h,v 1.1 2008/05/14 22:13:13 wudenni Exp $] ***********************************************************************/ @@ -69,47 +69,57 @@ typedef struct Abc_Frame_t_ Abc_Frame_t; //////////////////////////////////////////////////////////////////////// /// FUNCTION DEFINITIONS /// //////////////////////////////////////////////////////////////////////// +#ifdef WIN32 +#define DLLEXPORT __declspec(dllexport) +#define DLLIMPORT __declspec(dllimport) +#else /* defined(WIN32) */ +#define DLLIMPORT +#endif /* defined(WIN32) */ + +#ifndef ABC_DLL +#define ABC_DLL DLLIMPORT +#endif /*=== main.c ===========================================================*/ -extern void Abc_Start(); -extern void Abc_Stop(); +extern ABC_DLL void Abc_Start(); +extern ABC_DLL void Abc_Stop(); /*=== mainFrame.c ===========================================================*/ -extern Abc_Ntk_t * Abc_FrameReadNtk( Abc_Frame_t * p ); -extern FILE * Abc_FrameReadOut( Abc_Frame_t * p ); -extern FILE * Abc_FrameReadErr( Abc_Frame_t * p ); -extern bool Abc_FrameReadMode( Abc_Frame_t * p ); -extern bool Abc_FrameSetMode( Abc_Frame_t * p, bool fNameMode ); -extern void Abc_FrameRestart( Abc_Frame_t * p ); -extern bool Abc_FrameShowProgress( Abc_Frame_t * p ); - -extern void Abc_FrameSetCurrentNetwork( Abc_Frame_t * p, Abc_Ntk_t * pNet ); -extern void Abc_FrameSwapCurrentAndBackup( Abc_Frame_t * p ); -extern void Abc_FrameReplaceCurrentNetwork( Abc_Frame_t * p, Abc_Ntk_t * pNet ); -extern void Abc_FrameUnmapAllNetworks( Abc_Frame_t * p ); -extern void Abc_FrameDeleteAllNetworks( Abc_Frame_t * p ); - -extern void Abc_FrameSetGlobalFrame( Abc_Frame_t * p ); -extern Abc_Frame_t * Abc_FrameGetGlobalFrame(); - -extern Vec_Ptr_t * Abc_FrameReadStore(); -extern int Abc_FrameReadStoreSize(); -extern void * Abc_FrameReadLibLut(); -extern void * Abc_FrameReadLibGen(); -extern void * Abc_FrameReadLibSuper(); -extern void * Abc_FrameReadLibVer(); -extern void * Abc_FrameReadManDd(); -extern void * Abc_FrameReadManDec(); -extern char * Abc_FrameReadFlag( char * pFlag ); -extern bool Abc_FrameIsFlagEnabled( char * pFlag ); - -extern void Abc_FrameSetNtkStore( Abc_Ntk_t * pNtk ); -extern void Abc_FrameSetNtkStoreSize( int nStored ); -extern void Abc_FrameSetLibLut( void * pLib ); -extern void Abc_FrameSetLibGen( void * pLib ); -extern void Abc_FrameSetLibSuper( void * pLib ); -extern void Abc_FrameSetLibVer( void * pLib ); -extern void Abc_FrameSetFlag( char * pFlag, char * pValue ); +extern ABC_DLL Abc_Ntk_t * Abc_FrameReadNtk( Abc_Frame_t * p ); +extern ABC_DLL FILE * Abc_FrameReadOut( Abc_Frame_t * p ); +extern ABC_DLL FILE * Abc_FrameReadErr( Abc_Frame_t * p ); +extern ABC_DLL bool Abc_FrameReadMode( Abc_Frame_t * p ); +extern ABC_DLL bool Abc_FrameSetMode( Abc_Frame_t * p, bool fNameMode ); +extern ABC_DLL void Abc_FrameRestart( Abc_Frame_t * p ); +extern ABC_DLL bool Abc_FrameShowProgress( Abc_Frame_t * p ); + +extern ABC_DLL void Abc_FrameSetCurrentNetwork( Abc_Frame_t * p, Abc_Ntk_t * pNet ); +extern ABC_DLL void Abc_FrameSwapCurrentAndBackup( Abc_Frame_t * p ); +extern ABC_DLL void Abc_FrameReplaceCurrentNetwork( Abc_Frame_t * p, Abc_Ntk_t * pNet ); +extern ABC_DLL void Abc_FrameUnmapAllNetworks( Abc_Frame_t * p ); +extern ABC_DLL void Abc_FrameDeleteAllNetworks( Abc_Frame_t * p ); + +extern ABC_DLL void Abc_FrameSetGlobalFrame( Abc_Frame_t * p ); +extern ABC_DLL Abc_Frame_t * Abc_FrameGetGlobalFrame(); + +extern ABC_DLL Vec_Ptr_t * Abc_FrameReadStore(); +extern ABC_DLL int Abc_FrameReadStoreSize(); +extern ABC_DLL void * Abc_FrameReadLibLut(); +extern ABC_DLL void * Abc_FrameReadLibGen(); +extern ABC_DLL void * Abc_FrameReadLibSuper(); +extern ABC_DLL void * Abc_FrameReadLibVer(); +extern ABC_DLL void * Abc_FrameReadManDd(); +extern ABC_DLL void * Abc_FrameReadManDec(); +extern ABC_DLL char * Abc_FrameReadFlag( char * pFlag ); +extern ABC_DLL bool Abc_FrameIsFlagEnabled( char * pFlag ); + +extern ABC_DLL void Abc_FrameSetNtkStore( Abc_Ntk_t * pNtk ); +extern ABC_DLL void Abc_FrameSetNtkStoreSize( int nStored ); +extern ABC_DLL void Abc_FrameSetLibLut( void * pLib ); +extern ABC_DLL void Abc_FrameSetLibGen( void * pLib ); +extern ABC_DLL void Abc_FrameSetLibSuper( void * pLib ); +extern ABC_DLL void Abc_FrameSetLibVer( void * pLib ); +extern ABC_DLL void Abc_FrameSetFlag( char * pFlag, char * pValue ); #ifdef __cplusplus } diff --git a/src/base/main/mainInt.h b/src/base/main/mainInt.h index f79f9126..b03a00fa 100644 --- a/src/base/main/mainInt.h +++ b/src/base/main/mainInt.h @@ -14,13 +14,13 @@ Date [Ver. 1.0. Started - June 20, 2005.] - Revision [$Id: mainInt.h,v 1.00 2005/06/20 00:00:00 alanmi Exp $] + Revision [$Id: mainInt.h,v 1.1 2008/05/14 22:13:13 wudenni Exp $] ***********************************************************************/ #ifndef __MAIN_INT_H__ #define __MAIN_INT_H__ - + //////////////////////////////////////////////////////////////////////// /// INCLUDES /// //////////////////////////////////////////////////////////////////////// @@ -93,21 +93,31 @@ struct Abc_Frame_t_ //////////////////////////////////////////////////////////////////////// /// FUNCTION DEFINITIONS /// //////////////////////////////////////////////////////////////////////// +#ifdef WIN32 +#define DLLEXPORT __declspec(dllexport) +#define DLLIMPORT __declspec(dllimport) +#else /* defined(WIN32) */ +#define DLLIMPORT +#endif /* defined(WIN32) */ + +#ifndef ABC_DLL +#define ABC_DLL DLLIMPORT +#endif /*=== mvMain.c ===========================================================*/ -extern int main( int argc, char * argv[] ); +extern ABC_DLL int main( int argc, char * argv[] ); /*=== mvInit.c ===================================================*/ -extern void Abc_FrameInit( Abc_Frame_t * pAbc ); -extern void Abc_FrameEnd( Abc_Frame_t * pAbc ); +extern ABC_DLL void Abc_FrameInit( Abc_Frame_t * pAbc ); +extern ABC_DLL void Abc_FrameEnd( Abc_Frame_t * pAbc ); /*=== mvFrame.c =====================================================*/ -extern Abc_Frame_t * Abc_FrameAllocate(); -extern void Abc_FrameDeallocate( Abc_Frame_t * p ); +extern ABC_DLL Abc_Frame_t * Abc_FrameAllocate(); +extern ABC_DLL void Abc_FrameDeallocate( Abc_Frame_t * p ); /*=== mvUtils.c =====================================================*/ -extern char * Abc_UtilsGetVersion( Abc_Frame_t * pAbc ); -extern char * Abc_UtilsGetUsersInput( Abc_Frame_t * pAbc ); -extern void Abc_UtilsPrintHello( Abc_Frame_t * pAbc ); -extern void Abc_UtilsPrintUsage( Abc_Frame_t * pAbc, char * ProgName ); -extern void Abc_UtilsSource( Abc_Frame_t * pAbc ); +extern ABC_DLL char * Abc_UtilsGetVersion( Abc_Frame_t * pAbc ); +extern ABC_DLL char * Abc_UtilsGetUsersInput( Abc_Frame_t * pAbc ); +extern ABC_DLL void Abc_UtilsPrintHello( Abc_Frame_t * pAbc ); +extern ABC_DLL void Abc_UtilsPrintUsage( Abc_Frame_t * pAbc, char * ProgName ); +extern ABC_DLL void Abc_UtilsSource( Abc_Frame_t * pAbc ); #endif |