fedora: Move fedora_* configuration into Config module.

[goaljobs-goals.git] / fedora_ocaml_rebuild.ml

diff --git a/fedora_ocaml_rebuild.ml b/fedora_ocaml_rebuild.ml
index c642972..fed826d 100644 (file)
--- a/fedora_ocaml_rebuild.ml
+++ b/fedora_ocaml_rebuild.ml
@@ -24,7 +24,8 @@ let yum_repo = "koji-rawhide"
  *)
 let blocked = [
   "ocaml-pa-do";                        (* orphaned *)
-  "ocaml-zarith";                       (* int types *)
+  "llvm";                               (* FTBFS, unrelated to OCaml *)
+  "plplot";                             (* FTBFS, unrelated to OCaml *)
 ]
 let blocked pkg = List.mem pkg blocked
 
@@ -43,7 +44,7 @@ let source_packages =
            "cduce"; "frama-c"; "gappalib-coq"; "graphviz"; "hevea"; "hivex";
            "js-of-ocaml"; "llvm"; "plplot"; "virt-top"; "why3";
            "flocq" (* no OCaml code, but needs to be rebuilt after Coq *);
-           "guestfs-browser";
+           "guestfs-browser"; "libguestfs";
            "virt-dmesg" ]
 
 (* Dependencies of each package.  (pkg, [deps ...]) *)