5 let fedora-dir = "%HOME/d/fedora"
7 let fedora-branch = "master"
8 #let fedora-branch = "f32"
9 let fedora-tag = "f33-build-side-22796"
11 # The magic string that must appear in %changelog when the
12 # package has been rebuilt.
13 let fedora-rebuild-name = "OCaml 4.11.0+dev2-2020-04-22 rebuild"
15 # Packages that are blocked. Any dependent packages are also blocked
17 # XXX Not implemented, use ignore for now.
18 #let fedora-blocked = [ "ocaml-camlp4" ]
20 # Packages that are ignored, which means they are treated as if
21 # they have been rebuilt.
22 let fedora-ignored = [
23 "ocaml-srpm-macros", "ocaml",
25 # Several problems with the s390 builds:
26 # https://pagure.io/koji/issue/1974
27 # Cannot download toplink/packages/openblas/0.3.9/2.fc33/s390x/openblas-threads64-0.3.9-2.fc33.s390x.rpm: All mirrors were tried
31 # All OCaml-related source package names
32 let other-packages = [
33 "alt-ergo", "apron", "brltty", "coccinelle",
34 "haxe", "hevea", "hivex",
39 "virt-top", "virt-v2v",
44 "coq", "frama-c", "gappalib-coq",
48 # Causes a cyclic dependency between libnbd <-> nbdkit. We need
49 # to fix this in goals itself, but in the meantime disable nbdkit
50 # and build it by hand.
53 # https://bugzilla.redhat.com/show_bug.cgi?id=1797853
57 pure function get-source-packages () returning strings = {
59 for f in ocaml* %other-packages; do
60 [ -f $f/%fedora-branch/$f.spec ] && echo "$f"
63 let fedora-source-packages = get-source-packages ()
65 # Main goal: Rebuild all packages in Koji.
66 goal all = : wrap ("is-koji-built", fedora-source-packages)