X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=fedora_ocaml_rebuild.ml;h=bf9b653b9bae9c4f79fde7add142b33902d3facc;hb=19bafbc8d9d829cd95a26efb5bf5c208bfdf6036;hp=7851975b8aa896e44b1108e82a2ea9f700219f05;hpb=2a7eb34a8019bc82f7951f138a690f2aeeed9d49;p=goaljobs-goals.git diff --git a/fedora_ocaml_rebuild.ml b/fedora_ocaml_rebuild.ml index 7851975..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.0 final" +let rebuild_name = "ocaml-4.02.2" (* Local repository that contains build dependencies. *) let yum_repo = "koji-rawhide" @@ -24,6 +24,7 @@ let yum_repo = "koji-rawhide" *) let blocked = [ "ocaml-pa-do"; (* orphaned *) + "plplot"; (* FTBFS, unrelated to OCaml *) ] let blocked pkg = List.mem pkg blocked @@ -40,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"; "xen"; + "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 ...]) *)