move namespace logic into a separate file. It is useful for users of ABC that…

move namespace logic into a separate file. It is useful for users of ABC that need to use symbols without the entire baggage of including abc_global.h

src/misc/util/abc_global.h

@@ -84,33 +84,7 @@
   #endif
 #endif
 
-////////////////////////////////////////////////////////////////////////
-///                         NAMESPACES                               ///
-////////////////////////////////////////////////////////////////////////
-
-//#define ABC_NAMESPACE xxx
-
-#ifdef __cplusplus
-#  ifdef ABC_NAMESPACE
-#    define ABC_NAMESPACE_HEADER_START namespace ABC_NAMESPACE {
-#    define ABC_NAMESPACE_HEADER_END }
-#    define ABC_NAMESPACE_IMPL_START namespace ABC_NAMESPACE {
-#    define ABC_NAMESPACE_IMPL_END }
-#    define ABC_NAMESPACE_PREFIX ABC_NAMESPACE::
-#  else
-#    define ABC_NAMESPACE_HEADER_START extern "C" {
-#    define ABC_NAMESPACE_HEADER_END }
-#    define ABC_NAMESPACE_IMPL_START
-#    define ABC_NAMESPACE_IMPL_END
-#    define ABC_NAMESPACE_PREFIX
-#  endif // #ifdef ABC_NAMESPACE
-#else
-#  define ABC_NAMESPACE_HEADER_START
-#  define ABC_NAMESPACE_HEADER_END
-#  define ABC_NAMESPACE_IMPL_START
-#  define ABC_NAMESPACE_IMPL_END
-#  define ABC_NAMESPACE_PREFIX
-#endif // #ifdef __cplusplus
+#include "abc_namespaces.h"
 
 ////////////////////////////////////////////////////////////////////////
 ///                         PARAMETERS                               ///

src/misc/util/abc_namespaces.h

+/**CFile****************************************************************
+
+  FileName    [abc_namespaces.h]
+
+  SystemName  [ABC: Logic synthesis and verification system.]
+
+  PackageName [Namespace logic.]
+
+  Synopsis    []
+
+  Author      [Alan Mishchenko]
+
+  Affiliation [UC Berkeley]
+
+  Date        [Ver. 1.0. Started - Nov 20, 2015.]
+
+  Revision    []
+
+***********************************************************************/
+
+#ifndef ABC__misc__util__abc_namespaces_h
+#define ABC__misc__util__abc_namespaces_h
+
+
+////////////////////////////////////////////////////////////////////////
+///                         NAMESPACES                               ///
+////////////////////////////////////////////////////////////////////////
+
+#ifdef __cplusplus
+#  ifdef ABC_NAMESPACE
+#    define ABC_NAMESPACE_HEADER_START namespace ABC_NAMESPACE {
+#    define ABC_NAMESPACE_HEADER_END }
+#    define ABC_NAMESPACE_IMPL_START namespace ABC_NAMESPACE {
+#    define ABC_NAMESPACE_IMPL_END }
+#    define ABC_NAMESPACE_PREFIX ABC_NAMESPACE::
+#  else
+#    define ABC_NAMESPACE_HEADER_START extern "C" {
+#    define ABC_NAMESPACE_HEADER_END }
+#    define ABC_NAMESPACE_IMPL_START
+#    define ABC_NAMESPACE_IMPL_END
+#    define ABC_NAMESPACE_PREFIX
+#  endif // #ifdef ABC_NAMESPACE
+#else
+#  define ABC_NAMESPACE_HEADER_START
+#  define ABC_NAMESPACE_HEADER_END
+#  define ABC_NAMESPACE_IMPL_START
+#  define ABC_NAMESPACE_IMPL_END
+#  define ABC_NAMESPACE_PREFIX
+#endif // #ifdef __cplusplus
+
+#endif // #ifndef ABC__misc__util__abc_namespaces_h
+
+////////////////////////////////////////////////////////////////////////
+///                       END OF FILE                                ///
+////////////////////////////////////////////////////////////////////////