Disable flocq, gappalib-coq, graphviz, haxe, why3, zenon

Depend variously on coq, camlp5 and swig.

diff --git a/Goalfile b/Goalfile
index ea13f69..f493246 100644 (file)
--- a/Goalfile
+++ b/Goalfile
@@ -193,11 +193,15 @@ let packages = [
     "coccinelle",
     # Fails to build, I asked jjames.
     #"coq",
-    "flocq",
+    # Depends on coq:
+    #"flocq",
     "frama-c",
-    "gappalib-coq",
-    "graphviz",
-    "haxe",
+    # Depends on coq:
+    #"gappalib-coq",
+    # Depends on swig:
+    #"graphviz",
+    # Depends on camlp5:
+    #"haxe",
     "hevea",
     "hivex",
     "libguestfs",
@@ -211,9 +215,11 @@ let packages = [
     "utop",
     "virt-top",
     "virt-v2v",
-    "why3",
+    # Depends on coq:
+    #"why3",
     "z3",
-    "zenon",
+    # Depends on coq:
+    #"zenon",
 
     # Causes a cyclic dependency between libnbd <-> nbdkit.  We need
     # to fix this in goals itself, but in the meantime disable nbdkit