[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. upstream/20081201.dfsg-25-g3884ece

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit f22c09ac106670de99ea4e1ccf36b0719e90d2e5
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Thu May 21 11:16:43 2009 +0200

    Install byte binaries on native architectures and create links to manpages

diff --git a/debian/links.in b/debian/links.in
new file mode 100644
index 0000000..1877f84
--- /dev/null
+++ b/debian/links.in
@@ -0,0 +1,2 @@
+OPT: usr/share/man/man1/frama-c.1.gz usr/share/man/man1/frama-c.byte.1.gz
+OPT: usr/share/man/man1/frama-c-gui.1.gz usr/share/man/man1/frama-c-gui.byte.1.gz
diff --git a/debian/rules b/debian/rules
index 24b990a..74a56d3 100755
--- a/debian/rules
+++ b/debian/rules
@@ -7,7 +7,7 @@ include /usr/share/quilt/quilt.make
 include /usr/share/ocaml/ocamlvars.mk
 include /usr/share/ocaml/ocamlinit.mk
 
-override_dh_auto_configure:
+override_dh_auto_configure: ocamlinit-stamp
 	mkdir -p lib/plugins
 	touch .depend .make-clean
 	./configure $(CROSS) --prefix=/usr       \
@@ -26,13 +26,13 @@ override_dh_auto_install:
 	cp debian/icons/frama-c.svg $(CURDIR)/debian/frama-c/usr/share/icons/hicolor/scalable/apps/
 	cp debian/icons/frama-c.xpm $(CURDIR)/debian/frama-c/usr/share/pixmaps/
 	cp debian/frama-c.desktop $(CURDIR)/debian/frama-c/usr/share/applications/
+ifeq ($(OCAML_OPT_ARCH),)
 	$(RM) -f $(CURDIR)/debian/frama-c/usr/bin/frama-c.byte
 	$(RM) -f $(CURDIR)/debian/frama-c/usr/bin/frama-c-gui.byte
-ifeq ($(OCAML_OPT_ARCH),)
 	echo 'F:FramaCRuntime=liblablgtk2-gnome-ocaml,liblablgtksourceview-ocaml,$(OCAML_RUNTIME)' >> debian/frama-c.substvars
 endif
 
-override_dh_auto_clean:
+override_dh_auto_clean: ocamlinit-clean
 	[ ! -f Makefile ] || $(MAKE) clean
 	$(RM) -rf lib
 

-- 
frama-c packaging