X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=Goalfile;h=2b0baee5e72d2708a4cc4912c9fec5095aa8d9ab;hb=c1703c946feffa0aae4eed10b6f834b7bc0aab42;hp=553b0b3a99d859e7124791acb588641fe4d16635;hpb=2f54e410b4a6e51554ff21b6f96d51bdc63d8089;p=fedora-ocaml-rebuild.git

diff --git a/Goalfile b/Goalfile
index 553b0b3..2b0baee 100644
--- a/Goalfile
+++ b/Goalfile
@@ -21,12 +21,18 @@ let fedora-rebuild-name = "OCaml 4.11.0 pre-release"
 # they have been rebuilt.
 let fedora-ignored = [
     "ocaml-srpm-macros", "ocaml",
+
+    # Not updated yet for OCaml 4.11.
+    "ocaml-camlp5",
+
+    # https://github.com/ocaml/ocaml/issues/9461
+    "ocaml-perl4caml",
 ]
 
 # All OCaml-related source package names
 let other-packages = [
     "alt-ergo", "apron", "brltty", "coccinelle",
-    "graphviz", "haxe", "hevea", "hivex",
+    "graphviz", "hevea", "hivex",
     "laby",
     "libguestfs", "libnbd", "opam",
     "utop",
@@ -35,16 +41,20 @@ let other-packages = [
 
     # For Coq:
     "coq", "frama-c", "gappalib-coq",
-    "why3", "zenon",
+    "zenon",
     "flocq",
 
     # Causes a cyclic dependency between libnbd <-> nbdkit.  We need
     # to fix this in goals itself, but in the meantime disable nbdkit
     # and build it by hand.
-    # "nbdkit",
+    #"nbdkit",
 
     # https://bugzilla.redhat.com/show_bug.cgi?id=1797853
     # "plplot",
+
+    # These packages require camlp5 which has not been updated for 4.11.
+    #"haxe",
+    #"why3",
 ]
 
 pure function get-source-packages () returning strings = {