From 33c8c27995cc398dfdc23502a5ba579792b5833c Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Tue, 26 Aug 2014 22:10:39 +0100 Subject: [PATCH] Unblock gappalib-coq and frama-c (thanks Jerry James). --- 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 c708223..1955bca 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-pa-do"; (* build failure, complex *) - "frama-c"; (* build failure *) - "gappalib-coq"; (* build failure in configure script *) + "ocaml-pa-do"; (* orphaned *) "ocaml-camlimages"; (* build failure, conflicting C types in header files *) ] let blocked pkg = List.mem pkg blocked -- 1.8.3.1