From: Richard W.M. Jones Date: Tue, 7 Nov 2017 15:31:24 +0000 (+0000) Subject: Begin Fedora 28 OCaml 4.06.0 rebuild. X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=8ebda1100510ff59cf0ea228b5b7ad43b114bc21;p=goaljobs-goals.git Begin Fedora 28 OCaml 4.06.0 rebuild. --- diff --git a/fedora_ocaml_rebuild.ml b/fedora_ocaml_rebuild.ml index 19b306c..3c50f3a 100644 --- a/fedora_ocaml_rebuild.ml +++ b/fedora_ocaml_rebuild.ml @@ -9,18 +9,18 @@ open Git open Fedora let branch = "master" -let side_tag = Some "f27-ocaml2" +let side_tag = Some "f28-ocaml" (*let side_tag = None*) let koji_target = match side_tag with | Some t -> t - | None -> "f27-build" (* see: https://pagure.io/koji/issue/485 *) + | None -> "f28-build" (* 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.05.0" +let rebuild_name = "OCaml 4.06.0" (* Local repository that contains build dependencies. *) let yum_repo = "koji-rawhide" @@ -29,10 +29,6 @@ let yum_repo = "koji-rawhide" * dependent packages. *) let blocked = [ - "coq"; (* https://github.com/ocaml/ocaml/pull/1268 *) - "ocaml-gsl"; (* unknown linking error, only happens in Koji, may - be related to binutils used to build gsl? *) - "ocaml-lacaml"; (* same as gsl *) ] let blocked pkg = List.mem pkg blocked