[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. debian/20090901+beryllium+dfsg-2-13-g9f4d396
Mehdi Dogguy
mehdi at debian.org
Sun Jan 10 22:33:54 UTC 2010
The following commit has been merged in the master branch:
commit bce2fb79cf893885c1f7042f104a8035e14cd548
Author: Mehdi Dogguy <mehdi at debian.org>
Date: Sun Jan 10 16:48:03 2010 +0100
Explicitely build bin/ptests.byte but do not install it
diff --git a/debian/rules b/debian/rules
index df05ac3..72693ef 100755
--- a/debian/rules
+++ b/debian/rules
@@ -23,7 +23,7 @@ override_dh_auto_configure:
LDFLAGS="-Wl,-z,defs"
override_dh_auto_build:
- $(MAKE) $(OCAML_BEST) bin/toplevel.byte bin/viewer.$(OCAML_BEST)
+ $(MAKE) $(OCAML_BEST) bin/ptests.byte bin/toplevel.byte bin/viewer.$(OCAML_BEST)
override_dh_auto_install:
$(MAKE) prefix=$(FRAMA_DIR)/usr FRAMAC_DATADIR=$(FRAMA_DIR)/usr/share/frama-c install
@@ -31,6 +31,7 @@ override_dh_auto_install:
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
+ $(RM) -f $(CURDIR)/debian/frama-c/usr/bin/ptests.byte
ifeq ($(OCAML_OPT_ARCH),)
$(RM) -f $(CURDIR)/debian/frama-c/usr/bin/frama-c.byte
endif
--
frama-c packaging
More information about the Pkg-ocaml-maint-commits
mailing list