From 894c3badc43d31748bb1510a77a2c58804e6c535 Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Sun, 19 Jan 2020 16:29:42 +0000 Subject: [PATCH] Enable coq again, disable z3 and coccinelle. --- Goalfile | 20 ++++++++++++-------- 1 file changed, 12 insertions(+), 8 deletions(-) diff --git a/Goalfile b/Goalfile index 9dac9db..3e2b2b5 100644 --- a/Goalfile +++ b/Goalfile @@ -26,23 +26,27 @@ let fedora-ignored = [ "ocaml-srpm-macros", "ocaml" ] # All OCaml-related source package names let other-packages = [ - "alt-ergo", "apron", "brltty", "coccinelle", + "alt-ergo", "apron", "brltty", + "coq", "frama-c", "gappalib-coq", "graphviz", "hevea", "hivex", "libguestfs", "libnbd", "opam", - "virt-top", "virt-v2v", "z3", + "virt-top", "virt-v2v", "why3", "zenon", # no OCaml code, but needs to be rebuilt after Coq - # "flocq" + "flocq" - # "nbdkit" - causes stack overflow in goals expr_to_shell_string + # causes stack overflow in goals expr_to_shell_string # when handling EList. Is the list returned too long? - - # coq + deps are broken, see: - # https://lists.fedoraproject.org/archives/list/devel@lists.fedoraproject.org/thread/6I2CB4KNAZXH6TKX5WQZJ3ZQGBIOCNJK/ - # "coq", "flocq", "frama-c", "gappalib-coq", "why3", "zenon" + # "nbdkit", # plplot FTBFS for unrelated reasons # "plplot", + + # https://bugzilla.redhat.com/show_bug.cgi?id=1792740 + # "z3", + + # Coccinelle uses -unsafe-string. + # "coccinelle", ] pure function get-source-packages () returning strings = { cd %fedora-dir -- 1.8.3.1