From e3e8224dfbc229ac0df87f6ab679d2651b7a830a Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Sun, 19 Jan 2020 14:29:22 +0000 Subject: [PATCH] Block coq + deps, and plplot. --- Goalfile | 19 ++++++++++++++----- 1 file changed, 14 insertions(+), 5 deletions(-) diff --git a/Goalfile b/Goalfile index a1372bd..9dac9db 100644 --- a/Goalfile +++ b/Goalfile @@ -26,14 +26,23 @@ let fedora-ignored = [ "ocaml-srpm-macros", "ocaml" ] # All OCaml-related source package names let other-packages = [ - "alt-ergo", "apron", "brltty", "coccinelle", "coq", - "frama-c", "gappalib-coq", "graphviz", "hevea", "hivex", - "libguestfs", "libnbd", "opam", "plplot", - "virt-top", "virt-v2v", "why3", "z3", + "alt-ergo", "apron", "brltty", "coccinelle", + "graphviz", "hevea", "hivex", + "libguestfs", "libnbd", "opam", + "virt-top", "virt-v2v", "z3", + # no OCaml code, but needs to be rebuilt after Coq - "flocq" + # "flocq" + # "nbdkit" - 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" + + # plplot FTBFS for unrelated reasons + # "plplot", ] pure function get-source-packages () returning strings = { cd %fedora-dir -- 1.8.3.1