X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=fedora_ocaml_rebuild.ml;h=85bdbec65f4d9a255458363de38b46d212226704;hb=0a426256cdda84f2c135c2f1cf76ea9d4ec30562;hp=c167834c2924d0ae120769c8c89bb71b41b35806;hpb=e1faf14f3230840b4c60c317ea974e7c84eb340b;p=goaljobs-goals.git diff --git a/fedora_ocaml_rebuild.ml b/fedora_ocaml_rebuild.ml index c167834..85bdbec 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-0.8.git10e45753.fc22" +let rebuild_name = "ocaml-4.02.0+rc1" (* Local repository that contains build dependencies. *) let yum_repo = "koji-rawhide" @@ -23,12 +23,10 @@ let yum_repo = "koji-rawhide" * dependent packages. *) let blocked = [ - "ocaml-omake"; (* build failure (warnings) *) "ocaml-pa-do"; (* build failure, complex *) - "ocaml-lwt"; (* build failure on 4.02.0 *) - "ocaml-preludeml"; (* build failure *) "frama-c"; (* build failure *) "gappalib-coq"; (* build failure in configure script *) + "ocaml-camlimages"; (* build failure, conflicting C types in header files *) ] let blocked pkg = List.mem pkg blocked @@ -49,7 +47,9 @@ let source_packages = dirs @ [ "alt-ergo"; "apron"; "brltty"; "coccinelle"; "coq"; "cduce"; "frama-c"; "gappalib-coq"; "graphviz"; "hevea"; "hivex"; "js-of-ocaml"; "llvm"; "plplot"; "virt-top"; "why3"; "xen"; - "flocq" (* no OCaml code, but needs to be rebuilt after Coq *) ] + "flocq" (* no OCaml code, but needs to be rebuilt after Coq *); + "guestfs-browser"; + "virt-dmesg" ] (* Dependencies of each package. (pkg, [deps ...]) *) let pkg_deps = dependencies branch source_packages