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).

diff --git a/Goalfile b/Goalfile
index 8c3783f..5c016c8 100644 (file)
--- 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",