[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. debian/20081201.dfsg-3-21-geaf3830

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 696dee3a1ecfa242b5c1234887ffe15d2f01bc07
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Fri Aug 28 12:27:04 2009 +0200

    Backup src/kernel/config.ml

diff --git a/debian/rules b/debian/rules
index 8665a76..1924942 100755
--- a/debian/rules
+++ b/debian/rules
@@ -9,6 +9,7 @@ override_dh_auto_configure: ocamlinit-stamp
 	mkdir -p lib/plugins
 	mkdir -p lib/gui
 	touch .depend .make-clean
+	[ ! -f src/kernel/config.ml ] || cp src/kernel/config.ml src/kernel/config.ml.debian
 	./configure $(CROSS) --prefix=/usr       \
 		--mandir=\$${prefix}/share/man   \
 		--infodir=\$${prefix}/share/info \
@@ -35,6 +36,7 @@ ifeq ($(OCAML_OPT_ARCH),)
 endif
 
 override_dh_auto_clean: ocamlinit-clean
+	[ ! -f src/kernel/config.ml.debian ] || mv src/kernel/config.ml.debian src/kernel/config.ml
 	[ ! -f Makefile ] || $(MAKE) clean
 	$(RM) -rf lib
 

-- 
frama-c packaging