1. Forum
  2. Usenet
  3. LINUX.DEBIAN.MAINT.OCAML.

  • Bug#1105230: aac-tactics: FTBFS with make --shuffle=reverse: make[2]: *

    From Lucas Nussbaum@21:1/5 to All on Tue May 13 21:00:02 2025
    XPost: linux.debian.bugs.dist

    Source: aac-tactics
    Version: 8.20.0-1
    Severity: minor
    Tags: trixie sid ftbfs
    User: [email protected]
    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

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Debian Bug Tracking System@21:1/5 to All on Tue May 27 13:10:01 2025
    Processing control commands:

    tag -1 pending
    Bug #1105230 [src:aac-tactics] aac-tactics: FTBFS with make --shuffle=reverse: make[2]: *** [Makefile.coq:613: install-byte] Error 2 shuffle=reverse
    Added tag(s) pending.

    --
    1105230: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1105230
    Debian Bug Tracking System
    Contact [email protected] with problems

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)