Version abc80516

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