diff options
Diffstat (limited to 'driver/split/Makefile')
-rw-r--r-- | driver/split/Makefile | 24 |
1 files changed, 3 insertions, 21 deletions
diff --git a/driver/split/Makefile b/driver/split/Makefile index 404cb97c4d..a73eeeb05b 100644 --- a/driver/split/Makefile +++ b/driver/split/Makefile @@ -1,21 +1,3 @@ -#----------------------------------------------------------------------------- -# $Id: Makefile,v 1.2 2000/11/03 16:54:52 simonmar Exp $ - -TOP=../.. -include $(TOP)/mk/boilerplate.mk - -PROG = ghc-split -all:: $(PROG).prl - $(RM) -f $(PROG) - echo '#!$(PERL)' >> $(PROG) - echo '$$TARGETPLATFORM = "$(TARGETPLATFORM)";' >> $(PROG) - cat $< >> $(PROG) - $(EXECUTABLE_FILE) $(PROG) - -INSTALL_LIBEXEC_SCRIPTS += $(PROG) -CLEAN_FILES += $(PROG) $(PROG).prl - -BINDIST_EXTRAS += $(PROG) -include $(TOP)/mk/bindist.mk - -include $(TOP)/mk/target.mk +dir = driver/split +TOP = ../.. +include $(TOP)/mk/sub-makefile.mk |