The following commit has been merged in the master branch: commit bce2fb79cf893885c1f7042f104a8035e14cd548 Author: Mehdi Dogguy <me...@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 _______________________________________________ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits