diff options
Diffstat (limited to 'src/misc')
-rw-r--r-- | src/misc/ext/ext.h | 57 | ||||
-rw-r--r-- | src/misc/ext/module.make | 0 |
2 files changed, 0 insertions, 57 deletions
diff --git a/src/misc/ext/ext.h b/src/misc/ext/ext.h deleted file mode 100644 index 86601e52..00000000 --- a/src/misc/ext/ext.h +++ /dev/null @@ -1,57 +0,0 @@ -/**CFile**************************************************************** - - FileName [ext.h] - - SystemName [ABC: Logic synthesis and verification system.] - - PackageName [] - - Synopsis [plugin for external functionality] - - Author [Alan Mishchenko] - - Affiliation [UC Berkeley] - - Date [Ver. 1.0. Started - June 20, 2005.] - - Revision [$Id: ext.h,v 1.00 2005/06/20 00:00:00 alanmi Exp $] - -***********************************************************************/ - -#ifndef ABC__misc__ext__ext_h -#define ABC__misc__ext__ext_h - -#define EXT_ABC_FRAME -#define EXT_ABC_INIT(pAbc) -#define EXT_ABC_END(pAbc) - -//////////////////////////////////////////////////////////////////////// -/// INCLUDES /// -//////////////////////////////////////////////////////////////////////// - -//////////////////////////////////////////////////////////////////////// -/// PARAMETERS /// -//////////////////////////////////////////////////////////////////////// - -ABC_NAMESPACE_HEADER_START - -//////////////////////////////////////////////////////////////////////// -/// BASIC TYPES /// -//////////////////////////////////////////////////////////////////////// - -//////////////////////////////////////////////////////////////////////// -/// MACRO DEFINITIONS /// -//////////////////////////////////////////////////////////////////////// - -//////////////////////////////////////////////////////////////////////// -/// FUNCTION DECLARATIONS /// -//////////////////////////////////////////////////////////////////////// - -ABC_NAMESPACE_HEADER_END - -#endif - -//////////////////////////////////////////////////////////////////////// -/// END OF FILE /// -//////////////////////////////////////////////////////////////////////// - diff --git a/src/misc/ext/module.make b/src/misc/ext/module.make deleted file mode 100644 index e69de29b..00000000 --- a/src/misc/ext/module.make +++ /dev/null |