This is an automated email from the git hooks/post-receive script. mehdi pushed a commit to branch master in repository frama-c.
commit 72d2177c1366315eaf5a370209a2106af14127a1 Author: Mehdi Dogguy <me...@debian.org> Date: Thu Jan 21 23:28:15 2016 +0100 Fix variable FRAMA_GUI_LIBS in debian/rules --- debian/changelog | 2 ++ debian/rules | 2 +- 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/debian/changelog b/debian/changelog index d32342e..b5dece2 100644 --- a/debian/changelog +++ b/debian/changelog @@ -3,6 +3,8 @@ frama-c (20151002+magnesium+dfsg-1) UNRELEASED; urgency=medium * New upstream release - Add ocaml-findlib and libfindlib-ocaml-dev to Build-Depends since they became a hard requirement. + * Fix variable FRAMA_GUI_LIBS in debian/rules: "gui" directory + moved from "src" to "src/plugins". -- Mehdi Dogguy <me...@debian.org> Thu, 21 Jan 2016 23:07:15 +0100 diff --git a/debian/rules b/debian/rules index a404dea..56edb15 100755 --- a/debian/rules +++ b/debian/rules @@ -25,7 +25,7 @@ override_dh_auto_configure: CFLAGS="$(CFLAGS)" \ LDFLAGS="-Wl,-z,defs" -FRAMA_GUI_LIBS=$(patsubst src/gui/%.ml, $(FRAMA_DIR)/usr/lib/frama-c/%, $(wildcard src/gui/*.ml)) +FRAMA_GUI_LIBS=$(patsubst src/plugins/gui/%.ml, $(FRAMA_DIR)/usr/lib/frama-c/%, $(wildcard src/plugins/gui/*.ml)) override_dh_auto_install: $(MAKE) prefix=$(FRAMA_DIR)/usr FRAMAC_DATADIR=$(FRAMA_DIR)/usr/share/frama-c install -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/frama-c.git _______________________________________________ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits