- "alt-ergo", "apron", "brltty", "coccinelle", "coq",
- "frama-c", "gappalib-coq", "graphviz", "hevea", "hivex",
- "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
- for f in ocaml* %other-packages; do
- [ -f $f/%branch/$f.spec ] && echo "$f"
- done
-}
-let source-packages = wrap ("*koji-built", get-source-packages ())
-
-# Main goal: Rebuild all packages.
-goal all = : source-packages ;
-
-# Check if the source package has been built in Koji.
-tactic *koji-built (pkg) = {
- cd %fedora-dir/%pkg/%branch
- koji=%koji
- specfile=%pkg.spec
-
- # Packages which are ignored are treated as if they were rebuilt already.
- for p in %ignored; do
- if [ %pkg = "$p" ]; then exit 0; fi
- done
-
- # If the specfile doesn't have the magic string then the
- # package definitely needs to be rebuilt.
- grep -sq %rebuild-name $specfile || exit 99
+ "alt-ergo", "apron", "brltty",
+ "graphviz", "hevea", "hivex",
+ "libguestfs", "libnbd",
+ "opam",
+ "plplot",
+ "virt-top", "virt-v2v",
+ "z3",