The following commit has been merged in the master branch:
commit 326b1fe34a41f164a240304e5c427f5ce1a4d3d0
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Mon Jun 2 15:37:58 2008 +0200
install the rpm*.so stub in the right place
.. and no longer install mmap.so which is no longer built upstream (nor
used of course)
diff --git a/debian/rules b/debian/rules
index fdc4a0b..7cb78cb 100755
--- a/debian/rules
+++ b/debian/rules
@@ -16,6 +16,6 @@ clean::
rm -f debian/configure-stamp
install/$(DEV_PKG_NAME)::
mkdir -p debian/$(DLL_PKG_NAME)$(OCAML_DLL_DIR)
- mv debian/$(DEV_PKG_NAME)$(OCAML_STDLIB_DIR)/mmap/*.so \
+ mv debian/$(DEV_PKG_NAME)$(OCAML_STDLIB_DIR)/*.so \
debian/$(DLL_PKG_NAME)$(OCAML_DLL_DIR)
--
dose2 packaging
_______________________________________________
Pkg-ocaml-maint-commits mailing list
[email protected]
http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits
