diff options
Diffstat (limited to 'Build/source/utils/asymptote/memory.h')
-rw-r--r-- | Build/source/utils/asymptote/memory.h | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/Build/source/utils/asymptote/memory.h b/Build/source/utils/asymptote/memory.h index e5cd0297c93..cf6f8f2084b 100644 --- a/Build/source/utils/asymptote/memory.h +++ b/Build/source/utils/asymptote/memory.h @@ -17,17 +17,17 @@ #ifndef NOHASH -#ifdef HAVE_UNORDERED_MAP +#ifdef HAVE_TR1_UNORDERED_MAP #include <memory> -#include <unordered_map> -#define EXT std +#include <tr1/unordered_map> +#define EXT std::tr1 #else -#ifdef HAVE_TR1_UNORDERED_MAP -#include <tr1/unordered_map> -#define EXT std::tr1 +#ifdef HAVE_UNORDERED_MAP +#include <unordered_map> +#define EXT std #else #define EXT __gnu_cxx #include <ext/hash_map> @@ -90,6 +90,8 @@ inline void *asy_malloc_atomic(size_t n) #include <gc_allocator.h> #include <gc_cpp.h> +#define gc_allocator gc_allocator_ignore_off_page + #else // USEGC using std::allocator; |