diff options
Diffstat (limited to 'rules')
| -rw-r--r-- | rules/package-config.mk | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/rules/package-config.mk b/rules/package-config.mk index 4d9737f05d..86054071ad 100644 --- a/rules/package-config.mk +++ b/rules/package-config.mk @@ -34,10 +34,10 @@ $1_$2_HC_MK_DEPEND = $$($1_$2_HC) # on cygwin we get a dep on c:/ghc/..., and make gets confused by the : $1_$2_HC_MK_DEPEND_DEP = $1_$2_HC_DEP = -$1_$2_HC_PKGCONF = -$(GHC_PACKAGE_DB_FLAG) $$(BOOTSTRAPPING_CONF) -$1_$2_GHC_PKG_OPTS = --$(GHC_PACKAGE_DB_FLAG)=$$(BOOTSTRAPPING_CONF) +$1_$2_HC_PKGCONF = -package-db $$(BOOTSTRAPPING_CONF) +$1_$2_GHC_PKG_OPTS = --package-db=$$(BOOTSTRAPPING_CONF) $1_$2_CONFIGURE_OPTS += --package-db=$$(TOP)/$$(BOOTSTRAPPING_CONF) -$1_$2_MORE_HC_OPTS += -no-user-$(GHC_PACKAGE_DB_FLAG) +$1_$2_MORE_HC_OPTS += -no-user-package-db $1_$2_MORE_HC_OPTS += -rtsopts else $1_$2_HC_PKGCONF = |