allow build settings to be overriden by adding mk/validate.mk
[ghc-hetmet.git] / includes / Regs.h
index f2f7082..0bfde5b 100644 (file)
 #ifndef REGS_H
 #define REGS_H
 
+#if defined(HAVE_FRAMEWORK_GMP)
+#include <GMP/gmp.h>
+#else
 #include "gmp.h" // Needs MP_INT definition 
+#endif
 
 /*
  * Spark pools: used to store pending sparks