X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=fedora_ocaml_rebuild.ml;h=bf9b653b9bae9c4f79fde7add142b33902d3facc;hb=19bafbc8d9d829cd95a26efb5bf5c208bfdf6036;hp=bc0261707598806f6e14d6b042814ec5f61511e3;hpb=684162eb404fcf426095ed4e40ba34f04ad5e9dd;p=goaljobs-goals.git diff --git a/fedora_ocaml_rebuild.ml b/fedora_ocaml_rebuild.ml index bc02617..bf9b653 100644 --- a/fedora_ocaml_rebuild.ml +++ b/fedora_ocaml_rebuild.ml @@ -14,7 +14,7 @@ let koji_target = "rawhide" (* The name of the rebuild, and also the magic substring that must * appear in the %changelog when the package has been rebuilt. *) -let rebuild_name = "ocaml-4.02.1" +let rebuild_name = "ocaml-4.02.2" (* Local repository that contains build dependencies. *) let yum_repo = "koji-rawhide" @@ -24,7 +24,6 @@ let yum_repo = "koji-rawhide" *) let blocked = [ "ocaml-pa-do"; (* orphaned *) - "llvm"; (* FTBFS, unrelated to OCaml *) "plplot"; (* FTBFS, unrelated to OCaml *) ] let blocked pkg = List.mem pkg blocked @@ -42,9 +41,9 @@ let source_packages = let dirs = shlines "cd %s && ls -1d ocaml*" fedora_dir in dirs @ [ "alt-ergo"; "apron"; "brltty"; "coccinelle"; "coq"; "cduce"; "frama-c"; "gappalib-coq"; "graphviz"; "hevea"; "hivex"; - "js-of-ocaml"; "llvm"; "plplot"; "virt-top"; "why3"; + "js-of-ocaml"; "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 ...]) *)