diff options
Diffstat (limited to 'includes/Makefile')
| -rw-r--r-- | includes/Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/includes/Makefile b/includes/Makefile index e7292cd8a1..2acf07531e 100644 --- a/includes/Makefile +++ b/includes/Makefile @@ -27,7 +27,11 @@ ifeq "$(GhcEnableTablesNextToCode) $(GhcUnregisterised)" "YES NO" SRC_CC_OPTS += -DTABLES_NEXT_TO_CODE endif +ifeq "$(HaveLibGmp)" "YES" +SRC_CC_OPTS += -I. -I../rts -I$(GMP_INCLUDE_DIRS) +else SRC_CC_OPTS += -I. -I../rts -I../gmp/gmpbuild +endif ifneq "$(GhcWithSMP)" "YES" SRC_CC_OPTS += -DNOSMP |