diff options
Diffstat (limited to 'driver/ghc.mk')
| -rw-r--r-- | driver/ghc.mk | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/driver/ghc.mk b/driver/ghc.mk new file mode 100644 index 0000000000..7739f6b2a9 --- /dev/null +++ b/driver/ghc.mk @@ -0,0 +1,11 @@ + +$(eval $(call all-target,driver,$(INPLACE_LIB)/ghc-usage.txt) $(INPLACE_LIB)/ghci-usage.txt) + +$(INPLACE_LIB)/ghc-usage.txt: driver/ghc-usage.txt + cp $< $@ + +$(INPLACE_LIB)/ghci-usage.txt: driver/ghci-usage.txt + cp $< $@ + +INSTALL_LIBS += driver/ghc-usage.txt driver/ghci-usage.txt + |