Fix build when gmp isn't installed
authorIan Lynagh <ian@well-typed.com>
Sun, 28 Apr 2013 16:12:57 +0000 (17:12 +0100)
committerIan Lynagh <ian@well-typed.com>
Sun, 28 Apr 2013 16:12:57 +0000 (17:12 +0100)
mkGmpDerivedConstants/ghc.mk

index 9903aa6..6c06224 100644 (file)
@@ -24,3 +24,9 @@ GmpDerivedConstants_HEADER = libraries/integer-gmp/mkGmpDerivedConstants/dist/Gm
 $(GmpDerivedConstants_HEADER): $(mkGmpDerivedConstants_INPLACE)
        $< > $@
 
+ifneq "$(HaveLibGmp)" "YES"
+ifneq "$(HaveFrameworkGMP)" "YES"
+$(libraries/integer-gmp/mkGmpDerivedConstants_dist_depfile_c_asm): libraries/integer-gmp/gmp/gmp.h
+endif
+endif
+