# Packages that are ignored, which means they are treated as if
# they have been rebuilt.
-let fedora-ignored = [ "ocaml-srpm-macros", "ocaml" ]
+let fedora-ignored = [
+ "ocaml-srpm-macros", "ocaml",
+]
# All OCaml-related source package names
let other-packages = [
"alt-ergo", "apron", "brltty",
- "coq", "frama-c", "gappalib-coq",
"graphviz", "hevea", "hivex",
- "libguestfs", "libnbd", "opam",
- "virt-top", "virt-v2v", "why3", "zenon",
+ "libguestfs", "libnbd",
+ "virt-top", "virt-v2v",
# no OCaml code, but needs to be rebuilt after Coq
- "flocq"
+ #"flocq"
+
+ # Coq problems:
+ # https://lists.fedoraproject.org/archives/list/devel@lists.fedoraproject.org/thread/6I2CB4KNAZXH6TKX5WQZJ3ZQGBIOCNJK/
+ # "coq", "frama-c", "gappalib-coq",
+ # "why3", "zenon",
+ # "flocq",
# causes stack overflow in goals expr_to_shell_string
# when handling EList. Is the list returned too long?
# Coccinelle uses -unsafe-string.
# "coccinelle",
+
+ # https://bugzilla.redhat.com/show_bug.cgi?id=1792770
+ # "opam",
]
pure function get-source-packages () returning strings = {
cd %fedora-dir