[Pkg-ocaml-maint-commits] [SCM] dose2 packaging branch, master, updated. a6e2dc48f8f8c55538b596ae7e3015187c714278

[Stefano Zacchiroli]

The following commit has been merged in the master branch:
commit f298d7cbf5928b219915ea0e6da48673172317bb
Author: Stefano Zacchiroli <zack at upsilon.cc>
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