let fedora-branch = "rawhide"
#let fedora-branch = "f34"
-let fedora-tag = "f39-build-side-69760"
+let fedora-tag = "f40-build-side-79351"
# The magic string that must appear in %changelog when the
# package has been rebuilt.
-let fedora-rebuild-name = "OCaml 5.0 rebuild for Fedora 39"
+let fedora-rebuild-name = "OCaml 5.1.1 rebuild for Fedora 40"
# %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 = "1"
+let fedora-retry-failed = "0"
# Packages that are ignored, which means they are treated as if
# they have been rebuilt.
let packages = [
"ocaml-alcotest",
"ocaml-astring",
- # Temporarily disable because python3 flake8 is not installable
- #"ocaml-atd",
+ "ocaml-atd",
"ocaml-augeas",
"ocaml-autoconf",
"ocaml-base",
"ocaml-camlidl",
"ocaml-camlimages",
"ocaml-camlp-streams",
- # Waiting on two dependencies to be reviewed
- #"ocaml-camlp5",
+ "ocaml-camlp5",
+ "ocaml-camlp5-buildscripts",
"ocaml-camomile",
"ocaml-cinaps",
"ocaml-cmdliner",
"ocaml-facile",
"ocaml-fieldslib",
"ocaml-fileutils",
- "ocaml-findlib",
+ "ocaml-findlib", "not-ocamlfind",
"ocaml-fmt",
"ocaml-fpath",
"ocaml-gen",
"ocaml-ocplib-simplex",
"ocaml-octavius",
"ocaml-odoc",
- "ocaml-odoc-parser",
"ocaml-omake",
"ocaml-opam-file-format",
"ocaml-ounit",
"ocaml-parmap",
"ocaml-parsexp",
"ocaml-pcre",
+ "ocaml-pcre2",
"ocaml-perl4caml",
"ocaml-postgresql",
"ocaml-pp",
"apron",
"brltty",
"coccinelle",
- # Fails to build, I asked jjames.
- #"coq",
- # Depends on coq:
- #"flocq",
- # Depends on why3 -> coq:
- #"frama-c",
- # Depends on coq:
- #"gappalib-coq",
- # Depends on swig:
- #"graphviz",
- # Depends on camlp5:
- #"haxe",
+ "coq",
+ "emacs-common-tuareg",
+ "flocq",
+ "frama-c",
+ "gappalib-coq",
+ "guestfs-tools",
+ "graphviz",
+ "haxe",
"hevea",
"hivex",
"libguestfs",
"libnbd",
"opam",
+ "planets",
"plplot",
"prooftree",
"supermin",
- # Tests fail for unclear reasons.
- #"swig",
+ "swig",
"utop",
"virt-top",
"virt-v2v",
- # Depends on coq:
- #"why3",
+ "why3",
"z3",
- # Depends on coq:
- #"zenon",
+ "zenon",
# Causes a cyclic dependency between libnbd <-> nbdkit. We need
# to fix this in goals itself, but in the meantime disable nbdkit
elif [ -f $pkg/%fedora-branch/dead.package ]; then
echo "WARNING: $pkg: is a dead package, ignored" >&2
else
- echo "$pkg: package is not checked out locally" >&2
+ echo "ERROR: $pkg: package is not checked out locally" >&2
+ # This does NOT exit the script, why???
exit 1
fi
done