X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=fedora_ocaml_rebuild.ml;h=9a4520e258a284869e3c05694f737a2b97daa74f;hb=refs%2Fheads%2Fmaster;hp=f3cd2fa2de34ffa50904925687a8d69f085a995f;hpb=9660045866ac7092b418e93986f11df916bbd6c6;p=goaljobs-goals.git diff --git a/fedora_ocaml_rebuild.ml b/fedora_ocaml_rebuild.ml index f3cd2fa..9a4520e 100644 --- a/fedora_ocaml_rebuild.ml +++ b/fedora_ocaml_rebuild.ml @@ -9,8 +9,7 @@ open Git open Fedora let branch = "master" -(*let side_tag = Some "f32-ocaml"*) -let side_tag = None +let side_tag = Some "f32-build-side-14856" let koji_target = match side_tag with @@ -20,7 +19,7 @@ let koji_target = (* 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.08.1 (final)" +let rebuild_name = "OCaml 4.09.0 (final)" (* Local repository that contains build dependencies. *) let yum_repo = "koji-rawhide" @@ -29,9 +28,8 @@ let yum_repo = "koji-rawhide" * dependent packages. *) let blocked = [ - "ocaml-camlp4"; (* deprecated + all dependent packages *) - "ocaml-yojson"; (* jjames is looking at this *) - "coq"; (* jjames is looking at this, see RHBZ#1735619 *) + "ocaml-camlp4"; + "graphviz"; (* some compile-time issues *) ] let blocked pkg = List.mem pkg blocked