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 (file)
--- 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