From 02c0bc25362aac69058d1dd69dea2cfbf6859055 Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Sun, 19 Jan 2020 16:41:47 +0000 Subject: [PATCH] Coq not in fact fixes, disable + deps again. --- Goalfile | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-) diff --git a/Goalfile b/Goalfile index 3e2b2b5..3e2800d 100644 --- a/Goalfile +++ b/Goalfile @@ -27,13 +27,18 @@ 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", + "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? -- 1.8.3.1