From: Richard W.M. Jones Date: Mon, 18 Aug 2014 09:15:26 +0000 (+0100) Subject: Unblock ocaml-omake, ocaml-preludeml. X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=aa075fc10f2687270f752d7c716f92be4ca232f4;p=goaljobs-goals.git Unblock ocaml-omake, ocaml-preludeml. --- diff --git a/fedora_ocaml_rebuild.ml b/fedora_ocaml_rebuild.ml index a74388c..6e3925c 100644 --- a/fedora_ocaml_rebuild.ml +++ b/fedora_ocaml_rebuild.ml @@ -23,9 +23,7 @@ let yum_repo = "koji-rawhide" * dependent packages. *) let blocked = [ - "ocaml-omake"; (* build failure (warnings) *) "ocaml-pa-do"; (* build failure, complex *) - "ocaml-preludeml"; (* build failure *) "frama-c"; (* build failure *) "gappalib-coq"; (* build failure in configure script *) ]