From: Richard W.M. Jones Date: Tue, 25 Feb 2020 11:04:03 +0000 (+0000) Subject: Re-enable plplot. X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=7cc4e6cdb0fadce7527f8cee10a97265713825f6;p=fedora-ocaml-rebuild.git Re-enable plplot. --- diff --git a/Goalfile b/Goalfile index 5c016c8..13d612f 100644 --- a/Goalfile +++ b/Goalfile @@ -31,6 +31,7 @@ let other-packages = [ "alt-ergo", "apron", "brltty", "graphviz", "hevea", "hivex", "libguestfs", "libnbd", "nbdkit", + "plplot", "virt-top", "virt-v2v", # no OCaml code, but needs to be rebuilt after Coq @@ -42,9 +43,6 @@ let other-packages = [ # "why3", "zenon", # "flocq", - # plplot FTBFS for unrelated reasons - # "plplot", - # https://bugzilla.redhat.com/show_bug.cgi?id=1792740 # "z3",