From: Richard W.M. Jones <rjones@redhat.com>
Date: Tue, 25 Feb 2020 11:04:28 +0000 (+0000)
Subject: Re-enable z3.
X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=2bae1949c76130a92149d5b3da1c9bbcca464443;p=fedora-ocaml-rebuild.git

Re-enable z3.

Jerry tells me this package is fixed with a temporary workaround.  Bug
1792740 is only there as a placeholder for the permanent fix.
---

diff --git a/Goalfile b/Goalfile
index 13d612f..cc2f299 100644
--- a/Goalfile
+++ b/Goalfile
@@ -33,6 +33,7 @@ let other-packages = [
     "libguestfs", "libnbd", "nbdkit",
     "plplot",
     "virt-top", "virt-v2v",
+    "z3",
 
     # no OCaml code, but needs to be rebuilt after Coq
     #"flocq"
@@ -43,9 +44,6 @@ let other-packages = [
     # "why3", "zenon",
     # "flocq",
 
-    # https://bugzilla.redhat.com/show_bug.cgi?id=1792740
-    # "z3",
-
     # Coccinelle uses -unsafe-string.
     # "coccinelle",