-# All OCaml-related source package names
-let other-packages = [
- "alt-ergo", "apron", "brltty",
- "graphviz", "hevea", "hivex",
- "libguestfs", "libnbd",
- "virt-top", "virt-v2v",
- "z3",
-
- # no OCaml code, but needs to be rebuilt after Coq
- #"flocq"
-
- # Coq problems:
- # https://lists.fedoraproject.org/archives/list/devel@lists.fedoraproject.org/thread/6I2CB4KNAZXH6TKX5WQZJ3ZQGBIOCNJK/
- # "coq", "frama-c", "gappalib-coq",
- # "why3", "zenon",
- # "flocq",
-
- # Coccinelle uses -unsafe-string.
- # "coccinelle",
-
- # 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",
-
- # FTBFS because of a missing dependency.
- # "opam",
-]
+# Include the full list of packages for either Fedora or ELN.
+include "./fedora-packages.gl"
+#include "./eln-packages.gl"