diff options
Diffstat (limited to 'rules')
| -rw-r--r-- | rules/build-package-data.mk | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/rules/build-package-data.mk b/rules/build-package-data.mk index 2732aa3738..d2546380da 100644 --- a/rules/build-package-data.mk +++ b/rules/build-package-data.mk @@ -24,6 +24,12 @@ ifeq "$$(filter dyn,$$(GhcLibWays))" "dyn" $1_$2_CONFIGURE_OPTS += --enable-shared endif +ifeq "$$(GhcWithInterpreter) $$(UseArchivesForGhci)" "YES NO" +$1_$2_CONFIGURE_OPTS += --enable-library-for-ghci +else +$1_$2_CONFIGURE_OPTS += --disable-library-for-ghci +endif + ifeq "$$(HSCOLOUR_SRCS)" "YES" $1_$2_CONFIGURE_OPTS += --with-hscolour="$$(HSCOLOUR_CMD)" endif |