diff options
Diffstat (limited to 'driver/Makefile')
| -rw-r--r-- | driver/Makefile | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/driver/Makefile b/driver/Makefile new file mode 100644 index 0000000000..3a87ab43c5 --- /dev/null +++ b/driver/Makefile @@ -0,0 +1,28 @@ +# -----------------------------------------------------------------------------= +# $Id: Makefile,v 1.76 2005/03/02 09:49:11 simonmar Exp $ +# +# (c) The University of Glasgow 2002 +# + +TOP=.. +include $(TOP)/mk/boilerplate.mk + +SUBDIRS = mangler split ghc ghci + +boot all :: package.conf.inplace package.conf + +package.conf.inplace : + echo "[]" > $@ + +package.conf : + echo "[]" > $@ + +override datadir = $(libdir) +INSTALL_DATAS += package.conf ghc-usage.txt ghci-usage.txt + +# Since cleaning effectively uninstalls all the packages, we must +# remove the stamp files that the build system uses to avoid unnecessarily +# re-installing packages. +CLEAN_FILES += package.conf* stamp-pkg-conf* + +include $(TOP)/mk/target.mk |