X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=Goalfile;h=9587fd8bdcdb8c8aaac594cb48a74962af57606d;hb=5a140e6812fdb9573dcc668513959618a5304e4a;hp=c5154fa33d7fb476d1bd8be9aae41bd5d52e6b96;hpb=6c7870228409d1f1c909fe239b555ab09bfd86d1;p=fedora-ocaml-rebuild.git diff --git a/Goalfile b/Goalfile index c5154fa..9587fd8 100644 --- a/Goalfile +++ b/Goalfile @@ -1,145 +1,66 @@ # See README. +include "fedora.gl" + let fedora-dir = "%HOME/d/fedora" -let branch = "master" -let side-tag = "f32-ocaml" -#let koji = "koji" -let koji = "koji -p riscv64" -#let fedpkg = "fedpkg" -let fedpkg = "fedpkg --user-config %HOME/d/fedora-ocaml-rebuild/fedpkg-user-config" +let fedora-branch = "master" +let fedora-tag = "f33-build-side-19773" # The magic string that must appear in %changelog when the # package has been rebuilt. -let rebuild-name = "OCaml 4.09.0 for riscv64" +let fedora-rebuild-name = "OCaml 4.10.0 final." # Packages that are blocked. Any dependent packages are also blocked # automatically. -let blocked = [ "ocaml-camlp4" ] +# XXX Not implemented, use ignore for now. +#let fedora-blocked = [ "ocaml-camlp4" ] # Packages that are ignored, which means they are treated as if # they have been rebuilt. -#let ignored = [ "ocaml-srpm-macros", "ocaml" ] -let ignored = [ "ocaml-srpm-macros" ] +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", "opam", "plplot", "virt-top", "virt-v2v", - "why3", "z3", - "flocq" # no OCaml code, but needs to be rebuilt after Coq + "alt-ergo", "apron", "brltty", + "graphviz", "hevea", "hivex", + "libguestfs", "libnbd", + "virt-top", "virt-v2v", + "z3", + + # no OCaml code, but needs to be rebuilt after Coq + #"flocq" + + # Coq problems: + # https://lists.fedoraproject.org/archives/list/devel@lists.fedoraproject.org/thread/6I2CB4KNAZXH6TKX5WQZJ3ZQGBIOCNJK/ + # "coq", "frama-c", "gappalib-coq", + # "why3", "zenon", + # "flocq", + + # Coccinelle uses -unsafe-string. + # "coccinelle", + + # 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", + + # FTBFS because of a missing dependency. + # "opam", ] -pure function get-source-packages () = { + +pure function get-source-packages () returning strings = { cd %fedora-dir - echo '[' for f in ocaml* %other-packages; do - [ -f $f/%branch/$f.spec ] && echo "*built-in-koji(\"$f\")," - done - echo ']' -} -let source-packages = get-source-packages () - -# Main goal: Rebuild all packages. -goal all = : source-packages ; - -# Check if the source package has been built in Koji. -tactic *built-in-koji (pkg) = { - cd %fedora-dir/%pkg/%branch - koji=%koji - specfile=%pkg.spec - - # Packages which are ignored are treated as if they were rebuilt already. - for p in %ignored; do - if [ %pkg = "$p" ]; then exit 0; fi - done - - # If the specfile doesn't have the magic string then the - # package definitely needs to be rebuilt. - grep -sq %rebuild-name $specfile || exit 99 - - # Else we must check Koji itself. - # Koji sends some messages to stderr. - nvr=$(fedpkg verrel) - buildinfo=$($koji buildinfo $nvr 2>&1 ||:) - - # No build at all, needs rebuild. - echo "$buildinfo" | grep -sq "No such build" && exit 99 - - # Exists a build, find out what state it is in. - state=$(echo "$buildinfo" | grep ^State: | awk '{print $2}') - taskid=$(echo "$buildinfo" | grep ^Task: | awk '{print $2}') - - case "$state" in - COMPLETE) - # Complete so we don't need to rebuild. - exit 0 ;; - FAILED) - # Failed builds must be examined and fixed manually. - exit 1 ;; - BUILDING) - # Cancel the build, we will resubmit it. - $koji cancel $taskid ||: - exit 99 ;; - CANCELED|DELETED) - # Do a rebuild. - exit 99 ;; - esac - # Don't know what happened there, so fail. - exit 1 -} - -goal rebuild (pkg) = -*built-in-koji ("%pkg") : source-dependencies (pkg) { - cd %fedora-dir/%pkg/%branch - fedpkg=%fedpkg - koji=%koji - specfile=%pkg.spec - - # We have to wait for the dependencies to become available - # before we can start the new build. - for p in %<; do - nvr=$($koji --quiet latest-build %side-tag $p | awk '{print $1}') - $koji wait-repo %side-tag --build=$nvr + [ -f $f/%fedora-branch/$f.spec ] && echo "$f" done - - # If the specfile doesn't have the magic string then add - # that now. - if ! grep -sq %rebuild-name $specfile; then - rpmdev-bumpspec -c "- "%rebuild-name *.spec - else - rpmdev-bumpspec -c "- Bump release and rebuild." *.spec - fi - $fedpkg commit -c - $fedpkg push - $fedpkg build --target %side-tag } +let fedora-source-packages = get-source-packages () -# Get the source package names for a particular package. -# Note this is not merely the BuildRequires, since those are -# the binary packages. Also this will only find packages -# which are in the list of source-packages. -pure function source-dependencies (pkg) = @{ - specfile=%fedora-dir/%pkg/%branch/%pkg.spec - - echo -n Dependencies of %pkg: >&2 - - echo '[' - for r in $(rpmspec -q --buildrequires $specfile 2>/dev/null | - awk '{print $1}'); do - # Now we examine each *other* source package to see - # if any will create this dependency when they build. - for p in %source-packages; do - if [ "$p" != %pkg ] && \ - rpmspec -q --provides %fedora-dir/$p/%branch/$p.spec 2>/dev/null | - awk '{print $1}' | - grep -sq "^$r\$" - then - echo "*built-in-koji(\"$p\")," - echo -n '' $p >&2 - fi - done - done - echo ']' - echo >&2 -} +# Main goal: Rebuild all packages in Koji. +goal all = : wrap ("is-koji-built", fedora-source-packages)