diff options
| -rw-r--r-- | libraries/Makefile | 4 | ||||
| -rw-r--r-- | mk/cabal-flags.mk | 4 |
2 files changed, 2 insertions, 6 deletions
diff --git a/libraries/Makefile b/libraries/Makefile index 46e90d943b..8ccba2c19a 100644 --- a/libraries/Makefile +++ b/libraries/Makefile @@ -134,10 +134,6 @@ CONFIGURE_OPTS += --enable-split-objs CONFIGURE_STAMP_EXTRAS := $(CONFIGURE_STAMP_EXTRAS)-splitting endif -ifeq "$(HSCOLOUR_SRCS)" "YES" -CONFIGURE_OPTS += --with-hscolour="$(HSCOLOUR)" -endif - .PHONY: subdirs subdirs: diff --git a/mk/cabal-flags.mk b/mk/cabal-flags.mk index d07244b7d6..a58158207d 100644 --- a/mk/cabal-flags.mk +++ b/mk/cabal-flags.mk @@ -29,8 +29,8 @@ COMMON_CONFIGURE_FLAGS = \ --with-ld=$(LD) \ $(addprefix --hsc2hs-option=,$(SRC_HSC2HS_OPTS)) -ifneq "$(HSCOLOUR)" "" -COMMON_CONFIGURE_FLAGS += --with-hscolour=$(HSCOLOUR) +ifeq "$(HSCOLOUR_SRCS)" "YES" +CONFIGURE_OPTS += --with-hscolour="$(HSCOLOUR)" endif ifneq "$(ALEX)" "" |