summaryrefslogtreecommitdiff
path: root/libraries
diff options
context:
space:
mode:
Diffstat (limited to 'libraries')
-rw-r--r--libraries/Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/libraries/Makefile b/libraries/Makefile
index 63945c5cec..8eedd338f2 100644
--- 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