Source: aac-tactics Version: 8.20.0-1 Severity: minor Tags: trixie sid ftbfs User: lu...@debian.org Usertags: ftbfs-shuffle
Hi, GNU Make now has a --shuffle option that simulates non-deterministic ordering of target prerequisites. See https://trofi.github.io/posts/238-new-make-shuffle-mode.html and also previous work in Debian by Santiago Vila: https://people.debian.org/~sanvila/make-shuffle/ This package fails to build with make --shuffle=reverse. This is likely to be caused by a missing dependency in debian/rules or an upstream Makefile. More information about this mass bug filing is available at https://wiki.debian.org/qa.debian.org/FTBFS/Shuffle Relevant part (hopefully): > make[2]: Entering directory '/build/reproducible-path/aac-tactics-8.20.0' > Makefile.coq:613: update target 'install-byte' due to: target does not exist > if [ "src/META.coq-aac-tactics" ]; then mkdir -p > "/build/reproducible-path/aac-tactics-8.20.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/../coq-core//../" > && mv "src/META.coq-aac-tactics" "src/META.coq-aac-tactics.skip" ; > "/usr/bin/ocamlfind" install -add -destdir > "/build/reproducible-path/aac-tactics-8.20.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/../coq-core//../" > coq-aac-tactics src/aac_plugin.cma src/aac_plugin.cmo; rc=$?; mv > "src/META.coq-aac-tactics.skip" "src/META.coq-aac-tactics"; exit $rc; fi > ocamlfind: Cannot find META in package dir > make[2]: *** [Makefile.coq:613: install-byte] Error 2 shuffle=reverse The full build log is available from: http://qa-logs.debian.net/2025/05/05/shuffle/reverse/aac-tactics_8.20.0-1_unstable_reverse.log If you reassign this bug to another package, please mark it as 'affects'-ing this package. See https://www.debian.org/Bugs/server-control#affects
