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

mehdi pushed a commit to branch master
in repository frama-c.

commit 321b9553e1873963ebd2bc75755dfdd8376229d9
Author: Mehdi Dogguy <me...@debian.org>
Date:   Sun Jan 1 17:26:28 2017 +0100

    Avoid using PWD in the Makefile
---
 debian/changelog                                           | 7 +++++++
 debian/patches/0005-Value.cmo-needs-LoopAnalysis.cmo.patch | 9 +++++----
 2 files changed, 12 insertions(+), 4 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index cb65f9f..671fa6f 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,10 @@
+frama-c (20161101+silicon+dfsg-4) UNRELEASED; urgency=medium
+
+  * Fix FTBFS by avoiding use of PWD variable in Makefile
+    - Update patch 0005-Value.cmo-needs-LoopAnalysis.cmo.patch
+
+ -- Mehdi Dogguy <me...@debian.org>  Sun, 01 Jan 2017 17:27:36 +0100
+
 frama-c (20161101+silicon+dfsg-3) unstable; urgency=medium
 
   * Fix typo in Vcs-Browser field
diff --git a/debian/patches/0005-Value.cmo-needs-LoopAnalysis.cmo.patch 
b/debian/patches/0005-Value.cmo-needs-LoopAnalysis.cmo.patch
index 879a1db..7d460a7 100644
--- a/debian/patches/0005-Value.cmo-needs-LoopAnalysis.cmo.patch
+++ b/debian/patches/0005-Value.cmo-needs-LoopAnalysis.cmo.patch
@@ -10,17 +10,18 @@ PLUGIN_CMO_LIST variable.
  1 file changed, 4 insertions(+)
 
 diff --git a/Makefile b/Makefile
-index abbc8935..6fdf3357 100644
+index abbc8935..e844de36 100644
 --- a/Makefile
 +++ b/Makefile
 @@ -1095,6 +1095,10 @@ $(foreach p,$(EXTERNAL_PLUGINS),$(eval $(call 
INCLUDE_PLUGIN,$p)))
  CMX   = $(CMO:.cmo=.cmx)
  CMI   = $(CMO:.cmo=.cmi)
  
-+PLUGIN_CMO_LIST:=$(subst $(PWD)/lib/plugins/top/Value.cmo,\
-+      $(PWD)/lib/plugins/top/LoopAnalysis.cmo 
$(PWD)/lib/plugins/top/Value.cmo,\
-+      $(filter-out $(PWD)/lib/plugins/top/LoopAnalysis.cmo, 
$(PLUGIN_CMO_LIST)))
++PLUGIN_CMO_LIST:=$(subst $(FRAMAC_PLUGIN)/top/Value.cmo,\
++      $(FRAMAC_PLUGIN)/top/LoopAnalysis.cmo $(FRAMAC_PLUGIN)/top/Value.cmo,\
++      $(filter-out $(FRAMAC_PLUGIN)/top/LoopAnalysis.cmo, $(PLUGIN_CMO_LIST)))
 +
  ALL_CMO       = $(CMO) $(PLUGIN_CMO_LIST) $(STARTUP_CMO)
  ALL_CMX       = $(CMX) $(PLUGIN_CMX_LIST) $(STARTUP_CMX)
  
+-- 

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

Reply via email to