From: Richard W.M. Jones <rjones@redhat.com>
Date: Wed, 12 Jul 2023 13:32:34 +0000 (+0100)
Subject: Disable flocq, gappalib-coq, graphviz, haxe, why3, zenon
X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=402c0103e054dc6317096b42e97ddc5567d20290;p=fedora-ocaml-rebuild.git

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