[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#1105230: marked as done (aac-tactics: FTBFS with make --shuffle=reverse: make[2]: *** [Makefile.coq:613: install-byte] Error 2 shuffle=reverse)

Your message dated Wed, 29 Oct 2025 07:19:10 +0000
with message-id <E1vE0Sc-00GdLS-08@fasolo.debian.org>
and subject line Bug#1105230: fixed in aac-tactics 9.0.0-1
has caused the Debian Bug report #1105230,
regarding aac-tactics: FTBFS with make --shuffle=reverse: make[2]: *** [Makefile.coq:613: install-byte] Error 2 shuffle=reverse
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)


-- 
1105230: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1105230
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Source: aac-tactics
Version: 8.20.0-1
Severity: minor
Tags: trixie sid ftbfs
User: lucas@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

--- End Message ---
--- Begin Message --- 
Source: aac-tactics
Source-Version: 9.0.0-1
Done: Julien Puydt <jpuydt@debian.org>

We believe that the bug you reported is fixed in the latest version of
aac-tactics, which is due to be installed in the Debian FTP archive.

A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 1105230@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Julien Puydt <jpuydt@debian.org> (supplier of updated aac-tactics package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@ftp-master.debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Wed, 29 Oct 2025 07:57:49 +0100
Source: aac-tactics
Binary: libcoq-aac-tactics libcoq-aac-tactics-dbgsym
Architecture: source amd64
Version: 9.0.0-1
Distribution: experimental
Urgency: medium
Maintainer: Julien Puydt <jpuydt@debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
 libcoq-aac-tactics - Rocq tactics for reasoning modulo AC (theories)
Closes: 1105230
Changes:
 aac-tactics (9.0.0-1) experimental; urgency=medium
 .
   * Sequence install targets (Closes: #1105230).
   * Adapt to the Coq->Rocq transition.
   * Update lintian overrides.
   * Bump standards-version to 4.7.2.
   * New upstream release.
Checksums-Sha1:
 5cfdd1d72774e1c7487116e48f3271edbe7a3db4 2099 aac-tactics_9.0.0-1.dsc
 9e382797a969e3dc1c4fcec7db8ffff7360b189c 70184 aac-tactics_9.0.0.orig.tar.gz
 64758a0907cdd03653ede27dd5070b077266fdf2 3880 aac-tactics_9.0.0-1.debian.tar.xz
 d8e0e67eda7cdb0079202487dc48b52f726a4de8 7141 aac-tactics_9.0.0-1_amd64.buildinfo
 6ffc2dc1d09272893934bc9f02c10dc470d7bceb 13796 libcoq-aac-tactics-dbgsym_9.0.0-1_amd64.deb
 15738925c5447ab593c2d97f7706165f5f645dba 397876 libcoq-aac-tactics_9.0.0-1_amd64.deb
Checksums-Sha256:
 9b999d8e5acd23f3e4c9980712513df3df0b607a57223ff9e4022ec4fb8b19fb 2099 aac-tactics_9.0.0-1.dsc
 3accc8ad6ef1269fb926afbf60de6886811c5a74d1d3b39a01804aa8b83924c5 70184 aac-tactics_9.0.0.orig.tar.gz
 61f981c00d036d18d73ab30d81a03ce19d090592dfa42877d155938ea26ad1a4 3880 aac-tactics_9.0.0-1.debian.tar.xz
 1f3cbc1faae70cb7ce5b51f566ae19c628a343d58be1559930249b758045213e 7141 aac-tactics_9.0.0-1_amd64.buildinfo
 0604e120ff8b6a7cc8f925536e32b446c48726afc13e2f05f90519496053f8cc 13796 libcoq-aac-tactics-dbgsym_9.0.0-1_amd64.deb
 c2b729b515b557c03c27c2dc095a735d5584ea6513b698e7e9845bc8b0f12a4c 397876 libcoq-aac-tactics_9.0.0-1_amd64.deb
Files:
 da3ffc7016e04e6c7e8c4764910cf187 2099 math optional aac-tactics_9.0.0-1.dsc
 b8f9b3f4700b60d26d4f802ccd96618e 70184 math optional aac-tactics_9.0.0.orig.tar.gz
 5d107dceaa7d4c9ecf0804233c4278aa 3880 math optional aac-tactics_9.0.0-1.debian.tar.xz
 a387b1dcdf66b0f0aa8c2fa5dc28e041 7141 math optional aac-tactics_9.0.0-1_amd64.buildinfo
 becea6df0242994d9990383e58900a4e 13796 debug optional libcoq-aac-tactics-dbgsym_9.0.0-1_amd64.deb
 67b082d920e68c105a9aac7dcac39518 397876 math optional libcoq-aac-tactics_9.0.0-1_amd64.deb

-----BEGIN PGP SIGNATURE-----

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkBu8wZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUedYEACEMD/TozoSbmQneOHjcz6i
Sy+GEWZflDYAEMt5/jg728J0fX08WqEz4xCnonbkQTiVdz5g5lm/okNM1sLHuyPi
blbEYM5k6lt+erNVPCuKCRIOm8T3gYDL6bamyWz4PcpaiNtQ6WLKbFDTzuLP6w+R
GKOfc4/ZwtCiqa3yMzvq9+GtVstpqE40bEUFRKvkJLX0iU6SehF8mEwqwRu4qzmu
CsMkNR+hkrgZ8qPwmiVXT381XeaU/hKFFnB4cIR6p2niAvUHF8402xIBwQ3d/Sgo
ImffzPCUfNaBpF4e8dW9KQjhGHotWfdEpQ+9WrzYLhbgdH4TGyOWkCWc6Zou/I4H
5ujVCm/oNDPC1BFZBOUfGkj0KDnFnA3PqrjSuEqSN5RK62FOw9L6wb1InZbwgglu
mb7VO/gkXfq8HC2v6ycUN9tZ8UDg/7JS+1AAdkbB5VnbjjBcA4jxvFJqg4PVajUL
oFP3Yg1ZMZ2MUSIhkHk62ruon259tvt0ryC29O7wswM88cxNO6zQDDS2vTkhAvOt
gbHZw/QB6bgbAWGgHbb7GRNqwDwC9N6Z6L3S9LRXGA547s1/wH6Jame9N4jF5NK5
gfJ5exu9JHo86TRSdXsZQyG51xHZy8+ZHcz0BGW+2i5FU221oK1qPY/MhwgJsM7x
1bqT6oUJUx0b9w/3PcCaSA==
=7LTx
-----END PGP SIGNATURE-----

Attachment: pgpL0at67DH2j.pgp
Description: PGP signature


--- End Message ---
Reply to: