X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=Goalfile;h=df014e160b695a071c6089ce54fefdd43c906499;hb=8b3481d3cb1bd8df2f82b99a8f84950a3d140402;hp=9da8611088796abe2c30fe12044ba90083de2230;hpb=342e582283f9a9746c92970259280497b672f73a;p=fedora-ocaml-rebuild.git

diff --git a/Goalfile b/Goalfile
index 9da8611..df014e1 100644
--- a/Goalfile
+++ b/Goalfile
@@ -4,18 +4,13 @@ include "fedora.gl"
 
 let fedora-dir = "%HOME/d/fedora"
 
-let fedora-branch = "master"
-#let fedora-branch = "f32"
-let fedora-tag = "f33-build-side-20855"
+#let fedora-branch = "master"
+let fedora-branch = "f33"
+let fedora-tag = "f33-build-side-29131"
 
 # The magic string that must appear in %changelog when the
 # package has been rebuilt.
-let fedora-rebuild-name = "Update all OCaml dependencies for RPM 4.16."
-
-# Packages that are blocked.  Any dependent packages are also blocked
-# automatically.
-# XXX Not implemented, use ignore for now.
-#let fedora-blocked = [ "ocaml-camlp4" ]
+let fedora-rebuild-name = "OCaml 4.11.1 rebuild"
 
 # Packages that are ignored, which means they are treated as if
 # they have been rebuilt.
@@ -24,34 +19,197 @@ let fedora-ignored = [
 ]
 
 # All OCaml-related source package names
-let other-packages = [
-    "alt-ergo", "apron", "brltty", "coccinelle",
-    "graphviz", "haxe", "hevea", "hivex",
-    "libguestfs", "libnbd", "opam",
-    "virt-top", "virt-v2v",
-    "z3",
+let packages = [
+    "ocaml-alcotest",
+    "ocaml-ancient",
+    "ocaml-astring",
+    "ocaml-augeas",
+    "ocaml-autoconf",
+    "ocaml-base",
+    "ocaml-base64",
+    "ocaml-benchmark",
+    "ocaml-bigarray-compat",
+    "ocaml-biniou",
+    "ocaml-bin-prot",
+    "ocaml-bisect-ppx",
+    "ocaml-cairo",
+    "ocaml-calendar",
+    "ocaml-camlidl",
+    "ocaml-camlimages",
+    "ocaml-camlp5",
+    "ocaml-camomile",
+    "ocaml-charinfo-width",
+    "ocaml-cil",
+    "ocaml-cinaps",
+    "ocaml-cmdliner",
+    "ocaml-compiler-libs-janestreet",
+    "ocaml-cppo",
+    "ocaml-cryptokit",
+    "ocaml-csexp",
+    "ocaml-csv",
+    "ocaml-ctypes",
+    "ocaml-cudf",
+    "ocaml-curl",
+    "ocaml-curses",
+    "ocaml-dbus",
+    "ocaml-dose3",
+    "ocaml-dune",
+    "ocaml-easy-format",
+    "ocaml-expat",
+    "ocaml-extlib",
+    "ocaml-facile",
+    "ocaml-fieldslib",
+    "ocaml-fileutils",
+    "ocaml-findlib",
+    "ocaml-fmt",
+    "ocaml-fpath",
+    "ocaml-gen",
+    "ocaml-gettext",
+    "ocaml-graphics",
+    "ocaml-gsl",
+    "ocamlify",
+    "ocaml-integers",
+    "ocaml-jane-street-headers",
+#   "ocaml-jsonm", https://bugzilla.redhat.com/show_bug.cgi?id=1183825
+    "ocaml-jst-config",
+    "ocaml-lablgl",
+    "ocaml-lablgtk",
+    "ocaml-lablgtk3",
+    "ocaml-labltk",
+    "ocaml-lacaml",
+    "ocaml-lambda-term",
+    "ocaml-libvirt",
+    "ocaml-luv",
+    "ocaml-lwt",
+    "ocaml-lwt-log",
+    "ocaml-markup",
+    "ocaml-mccs",
+    "ocaml-menhir",
+    "ocaml-merlin",
+    "ocaml-mew",
+    "ocaml-mew-vi",
+    "ocaml-migrate-parsetree",
+    "ocaml-mlgmpidl",
+    "ocaml-mlmpfr",
+    "ocaml-mmap",
+    "ocamlmod",
+    "ocaml-mysql",
+    "ocaml-newt",
+    "ocaml-num",
+    "ocaml-oasis",
+    "ocaml-obuild",
+    "ocaml-ocamlbuild",
+    "ocaml-ocamlgraph",
+    "ocaml-ocamlnet",
+    "ocaml-ocp-indent",
+    "ocaml-ocplib-endian",
+    "ocaml-ocplib-simplex",
+    "ocaml-octavius",
+    "ocaml-odoc",
+    "ocaml-omake",
+    "ocaml-opam-file-format",
+    "ocaml-ounit",
+    "ocaml-parsexp",
+    "ocaml-pcre",
+    "ocaml-perl4caml",
+    "ocaml-postgresql",
+    "ocaml-ppx-assert",
+    "ocaml-ppx-base",
+    "ocaml-ppx-cold",
+    "ocaml-ppx-compare",
+    "ocaml-ppx-custom-printf",
+    "ocaml-ppx-derivers",
+    "ocaml-ppx-deriving",
+    "ocaml-ppx-deriving-yojson",
+    "ocaml-ppx-enumerate",
+    "ocaml-ppx-fields-conv",
+    "ocaml-ppxfind",
+    "ocaml-ppx-hash",
+    "ocaml-ppx-here",
+    "ocaml-ppx-inline-test",
+    "ocaml-ppx-js-style",
+    "ocaml-ppxlib",
+    "ocaml-ppx-optcomp",
+    "ocaml-ppx-sexp-conv",
+    "ocaml-ppx-tools",
+    "ocaml-ppx-tools-versioned",
+    "ocaml-ppx-variants-conv",
+    "ocaml-psmt2-frontend",
+    "ocaml-ptmap",
+    "ocaml-qcheck",
+    "ocaml-qtest",
+    "ocaml-re",
+    "ocaml-react",
+    "ocaml-res",
+    "ocaml-result",
+    "ocaml-rope",
+    "ocaml-SDL",
+    "ocaml-sedlex",
+    "ocaml-seq",
+    "ocaml-sexplib",
+    "ocaml-sexplib0",
+    "ocaml-sha",
+    "ocaml-sqlite",
+    "ocaml-ssl",
+    "ocaml-stdint",
+    "ocaml-stdio",
+    "ocaml-time-now",
+    "ocaml-topkg",
+    "ocaml-tplib",
+    "ocaml-trie",
+    "ocaml-tyxml",
+    "ocaml-uuidm",
+    "ocaml-uutf",
+    "ocaml-variantslib",
+    "ocaml-xml-light",
+    "ocaml-xmlm",
+    "ocaml-xmlrpc-light",
+    "ocaml-yojson",
+    "ocaml-zarith",
+    "ocaml-zed",
+    "ocaml-zip",
+    "ocaml-zmq",
 
-    # For Coq:
-    "coq", "frama-c",
-    "why3", "zenon",
+    "alt-ergo",
+    "apron",
+    "brltty",
+    "coccinelle",
+    "coq",
     "flocq",
+    "frama-c",
+    #"gappalib-coq",
+    "graphviz",
+    "haxe",
+    "hevea",
+    "hivex",
+    "laby",
+    "libguestfs",
+    "libnbd",
+    "opam",
+    "plplot",
+    "prooftree",
+    "utop",
+    "virt-top",
+    "virt-v2v",
+    "why3",
+    "z3",
+    "zenon",
 
     # 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",
-
-    # https://bugzilla.redhat.com/show_bug.cgi?id=1797853
-    # "plplot",
-
-    # https://bugzilla.redhat.com/show_bug.cgi?id=1799570
-    #"laby",
+    #"nbdkit",
 ]
 
 pure function get-source-packages () returning strings = {
     cd %fedora-dir
-    for f in ocaml* %other-packages; do
-        [ -f $f/%fedora-branch/$f.spec ] && echo "$f"
+    for f in %packages; do
+        if [ -f $f/%fedora-branch/$f.spec ]; then
+            echo "$f"
+        else
+            echo "$f: package is not checked out locally" >&2
+            exit 1
+        fi
     done
 }
 let fedora-source-packages = get-source-packages ()