From: Richard W.M. Jones <rjones@redhat.com>
Date: Wed, 12 Jul 2023 16:11:58 +0000 (+0100)
Subject: Re-enable coq and packages that depend on it
X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=ef51f30e882cd54a07d0c70bf1e0400fc587d45b;p=fedora-ocaml-rebuild.git

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

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