X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=fedora_ocaml_rebuild.ml;h=09af4e32693369109cb9dd6017938fadbbc9c9e6;hb=6a4812789b5ec8cc5d42482d5a85463ba1b846e8;hp=151eff8b7008f7dfdc742989e27529360968bf00;hpb=caff068718916b0cf1ed71ccd93d68c0a0122b59;p=goaljobs-goals.git diff --git a/fedora_ocaml_rebuild.ml b/fedora_ocaml_rebuild.ml index 151eff8..09af4e3 100644 --- a/fedora_ocaml_rebuild.ml +++ b/fedora_ocaml_rebuild.ml @@ -9,8 +9,8 @@ open Git open Fedora let branch = "master" -let side_tag = Some "f31-ocaml" -(*let side_tag = None*) +(*let side_tag = Some "f31-ocaml"*) +let side_tag = None let koji_target = match side_tag with @@ -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.08.0 (final)" +let rebuild_name = "OCaml 4.08.1 (rc2)" (* Local repository that contains build dependencies. *) let yum_repo = "koji-rawhide" @@ -29,7 +29,7 @@ let yum_repo = "koji-rawhide" * dependent packages. *) let blocked = [ - "ocaml-camlp4"; (* not ported to 4.08 yet *) + "ocaml-camlp4"; (* deprecated + all dependent packages *) "ocaml-zarith"; (* build failures, seemingly unrelated *) "ocaml-yojson"; (* seems to require some proper attention *) ]