From 5b75346d83ccbbdfcb799479c559245051ae5b34 Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Tue, 25 Feb 2020 11:02:09 +0000 Subject: [PATCH] Re-enable nbdkit. I wrote all the code here, I should fix whatever the problem is (I believe it's a circular dependency between nbdkit <-> libnbd). --- Goalfile | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/Goalfile b/Goalfile index 8c3783f..5c016c8 100644 --- a/Goalfile +++ b/Goalfile @@ -30,7 +30,7 @@ let fedora-ignored = [ let other-packages = [ "alt-ergo", "apron", "brltty", "graphviz", "hevea", "hivex", - "libguestfs", "libnbd", + "libguestfs", "libnbd", "nbdkit", "virt-top", "virt-v2v", # no OCaml code, but needs to be rebuilt after Coq @@ -42,10 +42,6 @@ let other-packages = [ # "why3", "zenon", # "flocq", - # causes stack overflow in goals expr_to_shell_string - # when handling EList. Is the list returned too long? - # "nbdkit", - # plplot FTBFS for unrelated reasons # "plplot", -- 1.8.3.1