[Pkg-ocaml-maint-commits] [why] 01/01: set FRAMADIR

[Ralf Treinen]

This is an automated email from the git hooks/post-receive script.

treinen pushed a commit to branch master
in repository why.

commit 11cf726fba6efa174024afa9c39f0b23dfe5d767
Author: Ralf Treinen <treinen at free.fr>
Date:   Tue Dec 27 13:13:50 2016 +0100

    set FRAMADIR
---
 debian/changelog | 6 ++++++
 debian/rules     | 3 ++-
 2 files changed, 8 insertions(+), 1 deletion(-)

diff --git a/debian/changelog b/debian/changelog
index e0d75e0..c6d1578 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+why (2.36-5) unstable; urgency=medium
+
+  * debian/rules: set FRAMADIR
+
+ -- Ralf Treinen <treinen at debian.org>  Tue, 27 Dec 2016 13:13:18 +0100
+
 why (2.36-4) unstable; urgency=medium
 
   * package tests: use /tmp when $ADT_ARTEFACTS is not set.
diff --git a/debian/rules b/debian/rules
index 60996d8..0b7424a 100755
--- a/debian/rules
+++ b/debian/rules
@@ -7,7 +7,8 @@ include /usr/share/ocaml/ocamlvars.mk
 include /usr/share/coq/coqvars.mk
 
 WHYDIR    = $(CURDIR)/debian/why
-FRAMADIR  = $(WHYDIR)/$(shell frama-c -print-plugin-path)
+#FRAMADIR  = $(WHYDIR)/$(shell frama-c -print-plugin-path)
+FRAMADIR  = $(WHYDIR)/usr/lib/frama-c/plugins
 FRAMAVER  = $(shell dpkg-query -W -f='$${Version}' frama-c-base)
 VERSION   = $(shell cat Version | grep ^VERSION | cut -d= -f 2)
 export OCAMLINIT_SED += -e 's/@VERSION@/$(VERSION)/g'

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/why.git