Add some special cases for putting dph in bindists

diff --git a/libraries/Makefile b/libraries/Makefile
index 63945c5..8eedd33 100644 (file)
--- a/libraries/Makefile
+++ b/libraries/Makefile
@@ -348,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
@@ -360,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 [ -e $$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