5 let fedora-dir = "%HOME/d/fedora"
7 let fedora-branch = "master"
8 let fedora-tag = "f33-build-side-19773"
10 # The magic string that must appear in %changelog when the
11 # package has been rebuilt.
12 let fedora-rebuild-name = "OCaml 4.10.0 final."
14 # Packages that are blocked. Any dependent packages are also blocked
16 # XXX Not implemented, use ignore for now.
17 #let fedora-blocked = [ "ocaml-camlp4" ]
19 # Packages that are ignored, which means they are treated as if
20 # they have been rebuilt.
21 let fedora-ignored = [
22 "ocaml-srpm-macros", "ocaml",
25 # All OCaml-related source package names
26 let other-packages = [
27 "alt-ergo", "apron", "brltty",
28 "graphviz", "hevea", "hivex",
29 "libguestfs", "libnbd",
32 "virt-top", "virt-v2v",
35 # no OCaml code, but needs to be rebuilt after Coq
39 # https://lists.fedoraproject.org/archives/list/devel@lists.fedoraproject.org/thread/6I2CB4KNAZXH6TKX5WQZJ3ZQGBIOCNJK/
40 # "coq", "frama-c", "gappalib-coq",
44 # Coccinelle uses -unsafe-string.
47 # Causes a cyclic dependency between libnbd <-> nbdkit. We need
48 # to fix this in goals itself, but in the meantime disable nbdkit
49 # and build it by hand.
53 pure function get-source-packages () returning strings = {
55 for f in ocaml* %other-packages; do
56 [ -f $f/%fedora-branch/$f.spec ] && echo "$f"
59 let fedora-source-packages = get-source-packages ()
61 # Main goal: Rebuild all packages in Koji.
62 goal all = : wrap ("is-koji-built", fedora-source-packages)