diff options
-rw-r--r-- | rules/build-package-data.mk | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/rules/build-package-data.mk b/rules/build-package-data.mk index 817128e08f..6f151a5adf 100644 --- a/rules/build-package-data.mk +++ b/rules/build-package-data.mk @@ -26,10 +26,11 @@ ifeq "$$(filter dyn,$$($1_$2_WAYS))" "dyn" $1_$2_CONFIGURE_OPTS += --enable-shared endif +$1_$2_CONFIGURE_OPTS += --disable-library-for-ghci ifeq "$$(GhcWithInterpreter)" "YES" +ifneq "$$(DYNAMIC_BY_DEFAULT)" "YES" $1_$2_CONFIGURE_OPTS += --enable-library-for-ghci -else -$1_$2_CONFIGURE_OPTS += --disable-library-for-ghci +endif endif ifeq "$$(HSCOLOUR_SRCS)" "YES" |