[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. debian/20090601.beta1+dfsg-1-12-g55c95e6

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit de3f04d066afc2112f3f1a9fad40c1b9ecb007cc
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Wed Sep 9 17:26:26 2009 +0200

    Add a patch to solve linking problem for the viewer

diff --git a/debian/patches/0003-Add-dGraphView.cmo-when-linking.patch b/debian/patches/0003-Add-dGraphView.cmo-when-linking.patch
new file mode 100644
index 0000000..518aada
--- /dev/null
+++ b/debian/patches/0003-Add-dGraphView.cmo-when-linking.patch
@@ -0,0 +1,22 @@
+From: Mehdi Dogguy <mehdi at debian.org>
+Date: Wed, 9 Sep 2009 17:25:18 +0200
+Subject: [PATCH] Add dGraphView.cmo when linking
+
+---
+ Makefile |    2 +-
+ 1 files changed, 1 insertions(+), 1 deletions(-)
+
+diff --git a/Makefile b/Makefile
+index 65d9f77..3a70533 100644
+--- a/Makefile
++++ b/Makefile
+@@ -357,7 +357,7 @@ OPT_LIBS+= graph.cmxa
+ ifeq ($(HAS_GNOMECANVAS),yes)
+ ifeq ($(ENABLE_SYNTACTIC_CALLGRAPH),yes)
+ GRAPH_GUICMO_BASE= xDotDraw.cmo dGraphModel.cmo xDot.cmo dGraphViewItem.cmo \
+-	concreteModel.cmo
++	dGraphView.cmo concreteModel.cmo
+ GRAPH_GUICMO_BASE+= viewGraph.cmo viewGraph_select.cmo viewGraph_utils.cmo
+ GRAPH_GUICMO=$(GRAPH_GUICMO_BASE:%=$(OCAMLGRAPH_HOME)/%)
+ GRAPH_GUICMX= $(GRAPH_GUICMO:.cmo=.cmx)
+-- 
diff --git a/debian/patches/series b/debian/patches/series
index c102bb5..46ae203 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,2 +1,3 @@
 0003-Fix-weak-pattern-matching-in-dynlink_lower_311_byte..patch
 0002-Make-Jessie-plugin-use-Jc-from-Why-2.19.patch
+0003-Add-dGraphView.cmo-when-linking.patch

-- 
frama-c packaging