From 402c0103e054dc6317096b42e97ddc5567d20290 Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com>
Date: Wed, 12 Jul 2023 14:32:34 +0100
Subject: [PATCH] Disable flocq, gappalib-coq, graphviz, haxe, why3, zenon

Depend variously on coq, camlp5 and swig.
---
 Goalfile | 18 ++++++++++++------
 1 file changed, 12 insertions(+), 6 deletions(-)

diff --git a/Goalfile b/Goalfile
index ea13f69..f493246 100644
--- 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
-- 
1.8.3.1