[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. debian/20090902+beryllium+dfsg-6-16-gdbbc991
Mehdi Dogguy
mehdi at debian.org
Tue Apr 27 14:42:39 UTC 2010
The following commit has been merged in the master branch:
commit 4dce9f4b7fa079be94a1b8470302f191d7e9cc0c
Author: Mehdi Dogguy <mehdi at debian.org>
Date: Mon Apr 26 20:17:49 2010 +0200
Target 'all' calls necessary targets
diff --git a/debian/rules b/debian/rules
index 595ed9a..58461ac 100755
--- a/debian/rules
+++ b/debian/rules
@@ -22,9 +22,6 @@ override_dh_auto_configure:
CFLAGS="$(CFLAGS)" \
LDFLAGS="-Wl,-z,defs"
-override_dh_auto_build:
- $(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
# Fix permission of .c and .h files (they don't have to be executable)
--
frama-c packaging
More information about the Pkg-ocaml-maint-commits
mailing list