X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=libraries%2FMakefile;h=01400b0e813de02a42561e1b8d02ac9a24af68d2;hb=69c3d6ccf567c2862bcb59bd14c764fe29b37fca;hp=aca0869912ba7c69a31e874dd56e89df0b6f1855;hpb=0fd755820053238e8f739356e8ff6420f87119f4;p=ghc-hetmet.git

diff --git a/libraries/Makefile b/libraries/Makefile
index aca0869..01400b0 100644
--- a/libraries/Makefile
+++ b/libraries/Makefile
@@ -20,13 +20,10 @@
 #   [ -e foo/configure.ac ] && ( cd foo && autoreconf )
 #   make make.library.foo
 
-.PHONY: default_target show
+.PHONY: default_target
 
 default_target: all
 
-show:
-	@echo '$(VALUE)="$($(VALUE))"'
-
 # make doesn't give us an easy way to get the libraries built in
 # dependency order the first time, but not rebuild base (for example)
 # when we want to rebuild another library later.
@@ -351,7 +348,6 @@ install.library.%: ifBuildable/ifBuildable
 
 BIN_DIST_LIBDIR=$(BIN_DIST_DIR)/libraries
 
-BINDIST_EXTRAS += ifBuildable/ifBuildable
 binary-dist: $(foreach SUBDIR,$(SUBDIRS),binary-dist.library.$(SUBDIR))
 ifeq "$(WHERE_AM_I)" ""
 	echo "I don't know where I am" >&2
@@ -363,6 +359,7 @@ endif
 # a Cabal package if we keep it. However, once we drop extralibs we can
 # probably remove it anyway.
 	echo $(WHERE_AM_I)/ifBuildable/ifBuildable >> $(BIN_DIST_LIST)
+	for FILE in dph/dph-prim-interface/interface/*.h dph/dph/LICENSE; do if [ -f $$FILE ]; then echo $(WHERE_AM_I)/$$FILE >> $(BIN_DIST_LIST); fi; done
 ifeq "$(HADDOCK_DOCS)" "YES"
 	for FILE in gen_contents_index index.html doc-index*.html; do echo $(WHERE_AM_I)/$$FILE >> $(BIN_DIST_LIST); done
 endif