[Pkg-ocaml-maint-commits] [frama-c] 06/09: Fix variable FRAMA_GUI_LIBS in debian/rules

Mehdi Dogguy mehdi at moszumanska.debian.org
Sat Jan 23 23:42:41 UTC 2016


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 <mehdi at 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 <mehdi at 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



More information about the Pkg-ocaml-maint-commits mailing list