diff options
Diffstat (limited to 'driver/ghc/Makefile')
| -rw-r--r-- | driver/ghc/Makefile | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/driver/ghc/Makefile b/driver/ghc/Makefile new file mode 100644 index 0000000000..4eeb3f96ca --- /dev/null +++ b/driver/ghc/Makefile @@ -0,0 +1,18 @@ +TOP=../.. +include $(TOP)/mk/boilerplate.mk + +ifneq "$(TARGETPLATFORM)" "i386-unknown-mingw32" +SCRIPT_DIR = $(DESTDIR)$(bindir) +SCRIPT_BASE = ghc +SCRIPT_VERSIONED_BASE = $(SCRIPT_BASE)-$(ProjectVersion) +SCRIPT = $(SCRIPT_DIR)/$(SCRIPT_BASE) +SCRIPT_VERSIONED = $(SCRIPT_DIR)/$(SCRIPT_VERSIONED_BASE) + +install:: + mv $(SCRIPT) $(SCRIPT_VERSIONED) + ln -s $(SCRIPT_VERSIONED_BASE) $(SCRIPT) +endif + +include $(TOP)/mk/bindist.mk + +include $(TOP)/mk/target.mk |