From ef51f30e882cd54a07d0c70bf1e0400fc587d45b Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com>
Date: Wed, 12 Jul 2023 17:11:58 +0100
Subject: [PATCH] Re-enable coq and packages that depend on it

We have reached a resolution here: we'll only build coq on
architectures that have the native compiler.
---
 Goalfile | 18 ++++++------------
 1 file changed, 6 insertions(+), 12 deletions(-)

diff --git a/Goalfile b/Goalfile
index e0a87fe..ef944a7 100644
--- a/Goalfile
+++ b/Goalfile
@@ -191,14 +191,10 @@ let packages = [
     "apron",
     "brltty",
     "coccinelle",
-    # Fails to build, I asked jjames.
-    #"coq",
-    # Depends on coq:
-    #"flocq",
-    # Depends on why3 -> coq:
-    #"frama-c",
-    # Depends on coq:
-    #"gappalib-coq",
+    "coq",
+    "flocq",
+    "frama-c",
+    "gappalib-coq",
     # Depends on swig:
     #"graphviz",
     # Depends on camlp5:
@@ -216,11 +212,9 @@ let packages = [
     "utop",
     "virt-top",
     "virt-v2v",
-    # Depends on coq:
-    #"why3",
+    "why3",
     "z3",
-    # Depends on coq:
-    #"zenon",
+    "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