From 6d38845abc790ccfd4148d8594121e9e2323c5af Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Tue, 19 Jun 2018 18:42:00 +0100 Subject: [PATCH] Rebuild OCaml 4.07.0 (final). --- fedora_ocaml_rebuild.ml | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/fedora_ocaml_rebuild.ml b/fedora_ocaml_rebuild.ml index 7a81266..225084e 100644 --- a/fedora_ocaml_rebuild.ml +++ b/fedora_ocaml_rebuild.ml @@ -20,7 +20,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.07.0-beta2" +let rebuild_name = "OCaml 4.07.0 (final)" (* Local repository that contains build dependencies. *) let yum_repo = "koji-rawhide" @@ -29,6 +29,12 @@ let yum_repo = "koji-rawhide" * dependent packages. *) let blocked = [ + (* File "compiler internals", line 1: + Error: Unbound module Stdlib *) + "why3"; + + (* https://bugzilla.redhat.com/show_bug.cgi?id=1593408 *) + "ocamlify"; "ocaml-oasis"; ] let blocked pkg = List.mem pkg blocked -- 1.8.3.1