The following commit has been merged in the master branch:
commit f298d7cbf5928b219915ea0e6da48673172317bb
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Fri May 16 00:00:26 2008 +0200
ensure ./configure is called once (via timestamp)
diff --git a/debian/rules b/debian/rules
index 9c071c9..fdc4a0b 100755
--- a/debian/rules
+++ b/debian/rules
@@ -8,8 +8,12 @@ DLL_PKG_NAME = lib$(LIB_NAME)-ocaml
DEV_PKG_NAME = lib$(LIB_NAME)-ocaml-dev
DEB_MAKE_BUILD_TARGET = depend all
DEB_MAKE_INSTALL_TARGET = install
DESTDIR=$(CURDIR)/debian/$(DEV_PKG_NAME)$(OCAML_STDLIB_DIR)
-configure/$(DEV_PKG_NAME)::
+configure/$(DEV_PKG_NAME):: debian/configure-stamp
+debian/configure-stamp:
./configure
+ touch $@
+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 \
--
dose2 packaging
_______________________________________________
Pkg-ocaml-maint-commits mailing list
[email protected]
http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits
