From: Richard W.M. Jones <rjones@redhat.com>
Date: Sat, 2 Aug 2014 12:03:17 +0000 (+0100)
Subject: cduce broken again with latest 4.02
X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;ds=sidebyside;h=96ebcf1ea2180ad09e69ef6ecdb0d76d145b318e;p=goaljobs-goals.git

cduce broken again with latest 4.02
---

diff --git a/fedora_ocaml_rebuild.ml b/fedora_ocaml_rebuild.ml
index 9c3cffc..e6d3e73 100644
--- a/fedora_ocaml_rebuild.ml
+++ b/fedora_ocaml_rebuild.ml
@@ -29,6 +29,7 @@ let blocked = [
   "ocaml-pa-do";                        (* build failure, complex *)
   "ocaml-lwt";                          (* build failure on 4.02.0 *)
   "ocaml-preludeml";                    (* build failure *)
+  "cduce";                              (* broken again with latest 4.02 *)
   "frama-c";                            (* build failure *)
 ]
 let blocked pkg = List.mem pkg blocked