summaryrefslogtreecommitdiffstats
path: root/src/base/main
diff options
context:
space:
mode:
Diffstat (limited to 'src/base/main')
-rw-r--r--src/base/main/main.h86
-rw-r--r--src/base/main/mainInt.h34
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
generated by cgit v1.2.3 (git 2.25.1) at 2024-08-20 11:31:31 +0000