[Pkg-ocaml-maint-commits] [coinst] 01/02: Fix FTBFS with OCaml 4.02.3
Mehdi Dogguy
mehdi at moszumanska.debian.org
Sun Oct 18 15:09:12 UTC 2015
This is an automated email from the git hooks/post-receive script.
mehdi pushed a commit to branch master
in repository coinst.
commit e31b1464e0ad78f8dc1656d931219cb8b4d957a8
Author: Mehdi Dogguy <mehdi at debian.org>
Date: Sun Oct 18 16:58:59 2015 +0200
Fix FTBFS with OCaml 4.02.3
- Add Ptset.of_list, Ptset.Big.of_list and Ptset.BigPos.of_list
- Add camlp4 as a build dependency
---
debian/changelog | 8 ++++++++
debian/control | 1 +
debian/patches/ocaml_4.02.3 | 45 +++++++++++++++++++++++++++++++++++++++++++++
debian/patches/series | 1 +
4 files changed, 55 insertions(+)
diff --git a/debian/changelog b/debian/changelog
index 9f0759b..60c03e5 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,11 @@
+coinst (1.9.1-2) UNRELEASED; urgency=medium
+
+ * Fix FTBFS with OCaml 4.02.3
+ - Add Ptset.of_list, Ptset.Big.of_list and Ptset.BigPos.of_list
+ - Add camlp4 as a build dependency
+
+ -- Mehdi Dogguy <mehdi at debian.org> Sun, 18 Oct 2015 16:57:07 +0200
+
coinst (1.9.1-1) unstable; urgency=low
* Update debian/gbp.conf to automatically filter out the "Talks"
diff --git a/debian/control b/debian/control
index e247a1b..af7b65b 100644
--- a/debian/control
+++ b/debian/control
@@ -7,6 +7,7 @@ Build-Depends: debhelper (>= 7.0.50~), dh-ocaml (>= 0.9~),
ocaml-findlib,
ocaml-nox (>= 3.11.1-3~),
libcudf-ocaml-dev,
+ camlp4,
# needed for the viewer:
js-of-ocaml, libcairo-ocaml-dev
Standards-Version: 3.9.4
diff --git a/debian/patches/ocaml_4.02.3 b/debian/patches/ocaml_4.02.3
new file mode 100644
index 0000000..ba48ad8
--- /dev/null
+++ b/debian/patches/ocaml_4.02.3
@@ -0,0 +1,45 @@
+--- a/ptset.ml
++++ b/ptset.ml
+@@ -125,6 +125,9 @@
+ in
+ ins t
+
++let of_list =
++ List.fold_left (fun t e -> add e t) Empty
++
+ (*s The code to remove an element is basically similar to the code of
+ insertion. But since we have to maintain the invariant that both
+ subtrees of a [Branch] node are non-empty, we use here the
+@@ -441,7 +444,10 @@
+ join (k, Leaf k, p, t)
+ in
+ ins t
+-
++
++ let of_list =
++ List.fold_left (fun t e -> add e t) Empty
++
+ let remove k t =
+ let rec rmv = function
+ | Empty -> Empty
+@@ -606,6 +612,9 @@
+
+ let add x s = if x < 0 then invalid_arg "BigPos.add"; add x s
+
++ let of_list =
++ List.fold_left (fun t e -> add e t) Empty
++
+ (* Patricia trees are now binary search trees! *)
+
+ let rec mem k = function
+--- a/ptset.mli
++++ b/ptset.mli
+@@ -36,6 +36,8 @@
+
+ val add : int -> t -> t
+
++val of_list : elt list -> t
++
+ val singleton : int -> t
+
+ val remove : int -> t -> t
diff --git a/debian/patches/series b/debian/patches/series
index 8cea07c..be46949 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,3 +1,4 @@
make_clean
make_viewer_byte
make_byte
+ocaml_4.02.3
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/coinst.git
More information about the Pkg-ocaml-maint-commits
mailing list