diff options
Diffstat (limited to 'rules/package-config.mk')
| -rw-r--r-- | rules/package-config.mk | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/rules/package-config.mk b/rules/package-config.mk index 1173e5f025..a49ab9862a 100644 --- a/rules/package-config.mk +++ b/rules/package-config.mk @@ -55,6 +55,13 @@ $1_$2_MORE_HC_OPTS += -no-user-package-db $1_$2_MORE_HC_OPTS += -rtsopts endif +# Used by pretty_commands.mk +label_$1_$2_CC=CC +label_$1_$2_AS=AS +label_$1_$2_AR=AR +label_$1_$2_HC=HC [stage $3] +label_$1_$2_GHC_PKG=GHC PKG + # Useful later $1_$2_SLASH_MODS = $$(subst .,/,$$($1_$2_MODULES)) |