[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 9b14b74f0e2c5f9a1ac5131595ee9b2d0b4459c6
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Fri Aug 28 09:01:28 2009 +0200

    Install frama-c, frama-c.byte and frama-c-gui on native architectures and frama-c and frama-c-gui on non-native ones.

diff --git a/debian/rules b/debian/rules
index ef5e3b8..8665a76 100755
--- a/debian/rules
+++ b/debian/rules
@@ -20,14 +20,17 @@ override_dh_auto_configure: ocamlinit-stamp
 		CFLAGS="$(CFLAGS)"               \
 		LDFLAGS="-Wl,-z,defs"
 
+override_dh_auto_build:
+	$(MAKE) $(OCAML_BEST) bin/toplevel.byte bin/viewer.$(OCAML_BEST)
+
 override_dh_auto_install:
 	$(MAKE) prefix=$(CURDIR)/debian/frama-c/usr 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/
+	$(RM) -f $(CURDIR)/debian/frama-c/usr/bin/frama-c-gui.byte
 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
 	echo 'F:FramaCRuntime=liblablgtk2-gnome-ocaml,liblablgtksourceview-ocaml,ocaml-base-$(OCAML_ABI)' >> debian/frama-c.substvars
 endif
 

-- 
frama-c packaging