From e1faf14f3230840b4c60c317ea974e7c84eb340b Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Sat, 9 Aug 2014 17:57:19 +0100 Subject: [PATCH] Enable cduce. --- fedora_ocaml_rebuild.ml | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/fedora_ocaml_rebuild.ml b/fedora_ocaml_rebuild.ml index 977d5c3..c167834 100644 --- a/fedora_ocaml_rebuild.ml +++ b/fedora_ocaml_rebuild.ml @@ -23,11 +23,10 @@ let yum_repo = "koji-rawhide" * dependent packages. *) let blocked = [ - "ocaml-omake"; (* build failure on 4.02.0 with hevea *) + "ocaml-omake"; (* build failure (warnings) *) "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 *) "gappalib-coq"; (* build failure in configure script *) ] @@ -40,7 +39,6 @@ let ignored = [ "whenjobs"; (* obsolete *) "libguestfs"; (* rebuilt by hand *) "graphviz"; (* rebuilt by hand *) - "xen"; (* already done *) "plplot"; (* already done *) ] let ignored pkg = List.mem pkg ignored -- 1.8.3.1