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.
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