[Pkg-ocaml-maint-commits] [SCM] alt-ergo packaging branch, master, updated. upstream/0.8-2-g3cbefd8

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 3cbefd8d18282932ef51d655ca89cf83d116f862
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Fri Nov 7 17:39:32 2008 +0100

    Re-initialize sources after build

diff --git a/debian/rules b/debian/rules
index 670b0b9..d691dfe 100755
--- a/debian/rules
+++ b/debian/rules
@@ -36,6 +36,8 @@ build-indep-stamp:
 build-arch: build-arch-stamp
 build-arch-stamp: config.status
 	dh_testdir
+	cp -ax version.ml version.ml.debian
+	cp -ax .depend .depend.debian
 	$(MAKE) $(OCAMLBEST)
 	touch $@
 
@@ -46,8 +48,10 @@ clean: unpatch
 	if [ -f Makefile ]; then \
 		$(MAKE) clean;   \
 	fi
+	[ ! -f version.ml.debian ] || mv version.ml.debian version.ml
+	[ ! -f .depend.debian    ] || mv .depend.debian .depend
 	dh_clean 
-	-rm -f config.status Makefile
+	-rm -f config.status Makefile smt_parser.output version.sh why_parser.output
 
 install: build
 	dh_testdir

-- 
alt-ergo packaging