Begin rebuild of OCaml 5.1

[fedora-ocaml-rebuild.git] / Goalfile

diff --git a/Goalfile b/Goalfile
index 8bedabd..3fe81cf 100644 (file)
--- a/Goalfile
+++ b/Goalfile
@@ -60,8 +60,7 @@ let packages = [
     "ocaml-curses",
     "ocaml-dbus",
     "ocaml-dose3",
-    # Cyclic dependency ocaml-dune -> ocaml-pp -> ocaml-dune
-    #"ocaml-dune",
+    "ocaml-dune",
     "ocaml-easy-format",
     "ocaml-expat",
     "ocaml-extlib",
@@ -112,13 +111,15 @@ let packages = [
     "ocaml-ocplib-simplex",
     "ocaml-octavius",
     "ocaml-odoc",
-    "ocaml-odoc-parser",
+    # To be retired after 5.1, now merged into ocaml-odoc
+    #"ocaml-odoc-parser",
     "ocaml-omake",
     "ocaml-opam-file-format",
     "ocaml-ounit",
     "ocaml-parmap",
     "ocaml-parsexp",
     "ocaml-pcre",
+    "ocaml-pcre2",
     "ocaml-perl4caml",
     "ocaml-postgresql",
     "ocaml-pp",
@@ -191,17 +192,19 @@ let packages = [
     "brltty",
     "coccinelle",
     "coq",
+    "emacs-common-tuareg",
     "flocq",
     "frama-c",
     "gappalib-coq",
+    "guestfs-tools",
     "graphviz",
     "haxe",
     "hevea",
     "hivex",
-    "laby",
     "libguestfs",
     "libnbd",
     "opam",
+    "planets",
     "plplot",
     "prooftree",
     "supermin",
@@ -225,14 +228,11 @@ pure function get-source-packages () returning strings = {
     for pkg in %packages; do
         spec=$pkg/%fedora-branch/$pkg.spec
         if [ -f $spec ]; then
-            # Check that all spec files have disabled the broken
-            # "package notes" misfeature.
-            if ! grep -sq "%%undefine _package_note_flags" $spec ; then
-                echo "ERROR: $pkg does not %%undefine _package_note_flags" >&2
-                exit 1
-            fi
             # Check that the spec file excludes i686.
-            if ! rpmspec -P $spec | grep -sq 'ExcludeArch:.*i386' ; then
+            # Only implement this check for ocaml-* packages, as the
+            # other packages are more complicated.
+            if [[ "$spec" =~ ^ocaml ]] &&
+               ! rpmspec -P $spec | grep -sq 'ExcludeArch:.*i386' ; then
                 echo "ERROR: $pkg does not ExcludeArch: %%{ix86}" >&2
                 exit 1
             fi