Add guestfs-tools

[fedora-ocaml-rebuild.git] / Goalfile

diff --git a/Goalfile b/Goalfile
index e0a87fe..eabbb98 100644 (file)
--- a/Goalfile
+++ b/Goalfile
@@ -28,8 +28,7 @@ let fedora-ignored = [
 let packages = [
     "ocaml-alcotest",
     "ocaml-astring",
-    # Temporarily disable because python3 flake8 is not installable
-    #"ocaml-atd",
+    "ocaml-atd",
     "ocaml-augeas",
     "ocaml-autoconf",
     "ocaml-base",
@@ -191,14 +190,11 @@ 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",
+    "guestfs-tools",
     # 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