From 8ebda1100510ff59cf0ea228b5b7ad43b114bc21 Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Tue, 7 Nov 2017 15:31:24 +0000 Subject: [PATCH] Begin Fedora 28 OCaml 4.06.0 rebuild. --- fedora_ocaml_rebuild.ml | 10 +++------- 1 file changed, 3 insertions(+), 7 deletions(-) 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 -- 1.8.3.1