[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. debian/20090601.beta1+dfsg-1-12-g55c95e6

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 44a6436e2ffa37e5f3be53f3a0414ab4ed45509c
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Fri Sep 4 15:29:31 2009 +0200

    Updating the clean target

diff --git a/debian/clean b/debian/clean
index 0b0f4b1..997771a 100644
--- a/debian/clean
+++ b/debian/clean
@@ -8,7 +8,5 @@ config.sub
 config.guess
 .depend
 .make-clean
-Makefile
 share/Makefile.config
-share/Makefile.dynamic_config
 tests/wp/test_config_dev
diff --git a/debian/rules b/debian/rules
index 5352f0d..e45b098 100755
--- a/debian/rules
+++ b/debian/rules
@@ -8,7 +8,7 @@ include /usr/share/ocaml/ocamlinit.mk
 override_dh_auto_configure: ocamlinit-stamp
 	mkdir -p lib/plugins
 	mkdir -p lib/gui
-	touch .depend .make-clean
+	touch .depend .make-clean .make-clean-stamp
 	[ ! -f src/kernel/config.ml ] || cp src/kernel/config.ml src/kernel/config.ml.debian
 	./configure $(CROSS) --prefix=/usr       \
 		--mandir=\$${prefix}/share/man   \
@@ -37,9 +37,10 @@ ifeq ($(OCAML_OPT_ARCH),)
 endif
 
 override_dh_auto_clean: ocamlinit-clean
+	touch .depend
 	[ ! -f src/kernel/config.ml.debian ] || mv src/kernel/config.ml.debian src/kernel/config.ml
-	[ ! -f Makefile ] || $(MAKE) clean
-	$(RM) -rf lib
+	[ ! -f Makefile -o ! -f share/Makefile.config ] || $(MAKE) clean
+	$(RM) -rf lib .depend
 
 %:
 	dh --with quilt $@

-- 
frama-c packaging