X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;ds=sidebyside;f=Goalfile;h=a1372bd9beddcabf5dc43aea58fdee22e907b581;hb=84e526997228511d48efea17657fce46d468e2a6;hp=35909e0987af4191cd3150320700d8cfcfaf2b6f;hpb=3a10c0c2da969efc3b9b3aa153aac7dcc673c0fe;p=fedora-ocaml-rebuild.git diff --git a/Goalfile b/Goalfile index 35909e0..a1372bd 100644 --- a/Goalfile +++ b/Goalfile @@ -22,33 +22,18 @@ let fedora-rebuild-name = "OCaml 4.10.0+beta1 rebuild." # Packages that are ignored, which means they are treated as if # they have been rebuilt. -let fedora-ignored = [ "ocaml-srpm-macros", "ocaml", - # These ones are only needed because blocked is not working - "ocaml-camlp4", - "cduce", - "guestfs-browser", - "ocaml-bin-prot", - "ocaml-bisect", - "ocaml-bitstring", - "ocaml-deriving", - "ocaml-json-static", - "ocaml-mikmatch", - "ocaml-openin", - "ocaml-pa-monad", - "ocaml-pgocaml", - "ocaml-sexplib", - "ocaml-type-conv", - "ocamldsort", -] +let fedora-ignored = [ "ocaml-srpm-macros", "ocaml" ] # All OCaml-related source package names let other-packages = [ "alt-ergo", "apron", "brltty", "coccinelle", "coq", "frama-c", "gappalib-coq", "graphviz", "hevea", "hivex", - "libguestfs", "libnbd", "nbdkit", "opam", "plplot", + "libguestfs", "libnbd", "opam", "plplot", "virt-top", "virt-v2v", "why3", "z3", # no OCaml code, but needs to be rebuilt after Coq "flocq" + # "nbdkit" - causes stack overflow in goals expr_to_shell_string + # when handling EList. Is the list returned too long? ] pure function get-source-packages () returning strings = { cd %fedora-dir @@ -58,5 +43,5 @@ pure function get-source-packages () returning strings = { } let fedora-source-packages = get-source-packages () -# Main goal: Rebuild all packages. +# Main goal: Rebuild all packages in Koji. goal all = : wrap ("*koji-built", fedora-source-packages)