2002-07-24 21:25:34 +00:00
|
|
|
//===-- Support/hash_set - "Portable" wrapper around hash_set ---*- C++ -*-===//
|
|
|
|
//
|
|
|
|
// This file provides a wrapper around the mysterious <hash_set> header file
|
|
|
|
// that seems to move around between GCC releases into and out of namespaces at
|
|
|
|
// will. #including this header will cause hash_set to be available in the
|
|
|
|
// global namespace.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
2003-06-17 00:35:55 +00:00
|
|
|
#ifndef SUPPORT_HASH_SET
|
|
|
|
#define SUPPORT_HASH_SET
|
2002-07-25 15:00:43 +00:00
|
|
|
|
2002-07-25 15:23:20 +00:00
|
|
|
// Compiler Support Matrix
|
|
|
|
//
|
|
|
|
// Version Namespace Header File
|
|
|
|
// 2.95.x :: hash_set
|
|
|
|
// 3.0.4 std ext/hash_set
|
|
|
|
// 3.1 __gnu_cxx ext/hash_set
|
|
|
|
//
|
|
|
|
|
2003-06-30 21:59:07 +00:00
|
|
|
#include "Config/config.h"
|
|
|
|
|
|
|
|
#ifdef HAVE_GNU_EXT_HASH_SET
|
|
|
|
|
|
|
|
#include <ext/hash_set>
|
2002-07-24 22:20:00 +00:00
|
|
|
#define HASH_NAMESPACE __gnu_cxx
|
2002-07-25 15:00:43 +00:00
|
|
|
|
2002-07-24 21:16:42 +00:00
|
|
|
#else
|
2002-07-25 15:00:43 +00:00
|
|
|
|
2003-06-30 21:59:07 +00:00
|
|
|
#ifdef HAVE_STD_EXT_HASH_SET
|
|
|
|
#include <ext/hash_set>
|
2002-07-24 22:20:00 +00:00
|
|
|
#define HASH_NAMESPACE std
|
2003-06-30 21:59:07 +00:00
|
|
|
|
|
|
|
#else
|
|
|
|
#include <hash_set>
|
|
|
|
#define HASH_NAMESPACE
|
2002-07-24 21:16:42 +00:00
|
|
|
#endif
|
2003-06-30 21:59:07 +00:00
|
|
|
|
2002-07-25 15:00:43 +00:00
|
|
|
#endif
|
2002-07-24 22:20:00 +00:00
|
|
|
|
|
|
|
using HASH_NAMESPACE::hash_set;
|
|
|
|
using HASH_NAMESPACE::hash;
|
|
|
|
|
2003-07-25 15:08:08 +00:00
|
|
|
// Include vector because ext/hash_set includes stl_vector.h and leaves
|
|
|
|
// out specializations like stl_bvector.h, causing link conflicts.
|
2003-07-25 14:06:13 +00:00
|
|
|
#include <vector>
|
|
|
|
|
2002-11-08 14:07:33 +00:00
|
|
|
#include <Support/HashExtras.h>
|
|
|
|
|
2002-07-24 22:20:00 +00:00
|
|
|
#endif
|
|
|
|
|