The following commit has been merged in the master branch:
commit 9b35e8885dfc88b54e44885fdc37a06a4296a313
Author: Nicolas Dandrimont <nicolas.dandrim...@crans.org>
Date: Sun Apr 8 19:11:53 2012 +0200
Remove cmxs files on non-natdynlink architectures
diff --git a/debian/rules b/debian/rules
index 19c91f2..0015a5e 100755
--- a/debian/rules
+++ b/debian/rules
@@ -36,6 +36,9 @@ override_dh_auto_install:
.PHONY: override_dh_install
override_dh_install:
+ifeq ($(OCAML_NATDYNLINK),no)
+ find $(DESTDIR) -name '*.cmxs' -delete
+endif
dh_install --fail-missing
.PHONY: override_dh_auto_clean
--
lambda-term packaging
_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
