From 5dccc9b242adcabf57bdf170f4a475d1d9cb530e Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Mon, 29 Apr 2019 15:33:49 +0100 Subject: [PATCH] Update for OCaml 4.08.0 beta 3 rebuild. --- fedora_ocaml_rebuild.ml | 9 +++------ 1 file changed, 3 insertions(+), 6 deletions(-) diff --git a/fedora_ocaml_rebuild.ml b/fedora_ocaml_rebuild.ml index 7d1a7f0..436b76e 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 "f29-ocaml" +let side_tag = Some "f31-ocaml" (*let side_tag = None*) let koji_target = match side_tag with | Some t -> t - | None -> "f29-build" + | None -> "f31-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.07.0 (final)" +let rebuild_name = "OCaml 4.08.0 (beta 3)" (* Local repository that contains build dependencies. *) let yum_repo = "koji-rawhide" @@ -29,9 +29,6 @@ let yum_repo = "koji-rawhide" * dependent packages. *) let blocked = [ - (* File "compiler internals", line 1: - Error: Unbound module Stdlib *) - "why3"; ] let blocked pkg = List.mem pkg blocked -- 1.8.3.1