Improve the configure script
[packages/integer-gmp.git] / gmp / ghc.mk
index 76350f7..a1852c8 100644 (file)
@@ -10,6 +10,9 @@
 #
 # -----------------------------------------------------------------------------
 
+ifneq "$(phase)" "0"
+
+include libraries/integer-gmp/gmp/config.mk
 
 # Compile GMP only if we don't have it already
 #
@@ -147,3 +150,5 @@ endif
 #      $(RM) -rf gmpbuild-shared
 #endif
 
+endif
+