let fedora-dir = "%HOME/d/fedora"
-let fedora-branch = "master"
-#let fedora-branch = "f32"
-let fedora-tag = "f33-build-side-22796"
+let fedora-branch = "rawhide"
+#let fedora-branch = "f34"
+let fedora-tag = "f41-build-side-91297"
# The magic string that must appear in %changelog when the
# package has been rebuilt.
-let fedora-rebuild-name = "OCaml 4.11.0+dev2-2020-04-22 rebuild"
+let fedora-rebuild-name = "OCaml 5.2.0 ppc64le fix"
-# Packages that are blocked. Any dependent packages are also blocked
-# automatically.
-# XXX Not implemented, use ignore for now.
-#let fedora-blocked = [ "ocaml-camlp4" ]
+# %fedora-retry-failed:
+# If set to 1 then failed builds are retried automatically.
+# If set to 0 then failed builds must be manually restarted.
+# Normally you want this to be 0.
+let fedora-retry-failed = "0"
# Packages that are ignored, which means they are treated as if
# they have been rebuilt.
let fedora-ignored = [
"ocaml-srpm-macros", "ocaml",
-
- # Several problems with the s390 builds:
- # https://pagure.io/koji/issue/1974
- # Cannot download toplink/packages/openblas/0.3.9/2.fc33/s390x/openblas-threads64-0.3.9-2.fc33.s390x.rpm: All mirrors were tried
- "graphviz",
]
-# All OCaml-related source package names
-let other-packages = [
- "alt-ergo", "apron", "brltty", "coccinelle",
- "haxe", "hevea", "hivex",
- "laby",
- "libguestfs",
- "libnbd", "opam",
- "utop",
- "virt-top", "virt-v2v",
- "why3",
- "z3",
-
- # For Coq:
- "coq", "frama-c", "gappalib-coq",
- "zenon",
- "flocq",
-
- # Causes a cyclic dependency between libnbd <-> nbdkit. We need
- # to fix this in goals itself, but in the meantime disable nbdkit
- # and build it by hand.
- #"nbdkit",
-
- # https://bugzilla.redhat.com/show_bug.cgi?id=1797853
- # "plplot",
-]
+# Include the full list of packages for either Fedora or ELN.
+include "./fedora-packages.gl"
+#include "./eln-packages.gl"
+# Get the list of source packages.
pure function get-source-packages () returning strings = {
cd %fedora-dir
- for f in ocaml* %other-packages; do
- [ -f $f/%fedora-branch/$f.spec ] && echo "$f"
+ for pkg in %packages; do
+ spec=$pkg/%fedora-branch/$pkg.spec
+ if [ -f $spec ]; then
+ # Check that the spec file excludes i686.
+ # Only implement this check for ocaml-* packages, as the
+ # other packages are more complicated.
+ if [[ "$spec" =~ ^ocaml ]] &&
+ ! rpmspec -P $spec | grep -sq 'ExcludeArch:.*i386' ; then
+ echo "ERROR: $pkg does not ExcludeArch: %%{ix86}" >&2
+ exit 1
+ fi
+ # OK to rebuild this package.
+ echo "$pkg"
+ elif [ -f $pkg/%fedora-branch/dead.package ]; then
+ echo "WARNING: $pkg: is a dead package, ignored" >&2
+ else
+ echo "ERROR: $pkg: package is not checked out locally" >&2
+ # This does NOT exit the script, why???
+ exit 1
+ fi
done
}
let fedora-source-packages = get-source-packages ()