From 63839acb139d5381ee4615a7f467db9521e4305a Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Sat, 18 Jan 2020 12:30:26 +0000 Subject: [PATCH] Prepare for OCaml 4.10.0 beta 1 rebuild. --- Goalfile | 19 ++++++++++--------- 1 file changed, 10 insertions(+), 9 deletions(-) diff --git a/Goalfile b/Goalfile index 0890489..2961971 100644 --- a/Goalfile +++ b/Goalfile @@ -3,15 +3,15 @@ let fedora-dir = "%HOME/d/fedora" let branch = "master" -let side-tag = "f32-ocaml" -#let koji = "koji" -let koji = "koji -p riscv64" -#let fedpkg = "fedpkg" -let fedpkg = "fedpkg --user-config %HOME/d/fedora-ocaml-rebuild/fedpkg-user-config" +let side-tag = "f32-build-side-18015" +let koji = "koji" +#let koji = "koji -p riscv64" +let fedpkg = "fedpkg" +#let fedpkg = "fedpkg --user-config %HOME/d/fedora-ocaml-rebuild/fedpkg-user-config" # The magic string that must appear in %changelog when the # package has been rebuilt. -let rebuild-name = "OCaml 4.09.0 for riscv64" +let rebuild-name = "OCaml 4.10.0+beta1 rebuild." # Packages that are blocked. Any dependent packages are also blocked # automatically. @@ -43,9 +43,10 @@ let ignored = [ "ocaml-srpm-macros", "ocaml", let other-packages = [ "alt-ergo", "apron", "brltty", "coccinelle", "coq", "frama-c", "gappalib-coq", "graphviz", "hevea", "hivex", - "libguestfs", "opam", "plplot", "virt-top", "virt-v2v", - "why3", "z3", - "flocq" # no OCaml code, but needs to be rebuilt after Coq + "libguestfs", "libnbd", "nbdkit", "opam", "plplot", + "virt-top", "virt-v2v", "why3", "z3", + # no OCaml code, but needs to be rebuilt after Coq + "flocq" ] pure function get-source-packages () returning strings = { cd %fedora-dir -- 1.8.3.1