X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=fedora_ocaml_rebuild.ml;h=fed826d93acc4833981f7c3f228a356273fdc576;hb=aada1d9897b2df4bb10c39707a01b5752e4de27f;hp=c642972cd784fe35317b3ee8abfea3e1d7edb4e6;hpb=335c5b244fa7c4d35b19310be0dc4b8f7e566961;p=goaljobs-goals.git diff --git a/fedora_ocaml_rebuild.ml b/fedora_ocaml_rebuild.ml index c642972..fed826d 100644 --- 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 ...]) *)