Bug#953739: marked as done (aac-tactics: FTBFS in sid)
Your message dated Tue, 17 Mar 2020 16:19:15 +0000
with message-id <E1jEEvz-000Hrm-EV@fasolo.debian.org>
and subject line Bug#953739: fixed in aac-tactics 8.11.0-1
has caused the Debian Bug report #953739,
regarding aac-tactics: FTBFS in sid
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.)
--
953739: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=953739
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Source: aac-tactics
Version: 8.9.0-1
Severity: serious
Hello, looks like some changes in sid made aac-tactics FTBFS in sid, log is available here:
http://debomatic-amd64.debian.net/distribution#unstable/aac-tactics/8.9.0-1/buildlog
I: Running cd /build/aac-tactics-8.9.0/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin" HOME="/nonexistent" dpkg-buildpackage -us -uc
dpkg-buildpackage: info: source package aac-tactics
dpkg-buildpackage: info: source version 8.9.0-1
dpkg-buildpackage: info: source distribution unstable
dpkg-buildpackage: info: source changed by Stéphane Glondu <glondu@debian.org>
dpkg-source --before-build .
dpkg-buildpackage: info: host architecture amd64
debian/rules clean
dh clean --with ocaml
debian/rules override_dh_auto_clean
make[1]: Entering directory '/build/aac-tactics-8.9.0'
/usr/bin/make clean
make[2]: Entering directory '/build/aac-tactics-8.9.0'
coq_makefile -f _CoqProject -o Makefile.coq
camlp5 macro files not supported anymore, please port src/aac.ml4 to coqpp
Usage summary:
coq_makefile .... [file.v] ... [file.ml[ig]?] ... [file.ml{lib,pack}]
... [any] ... [-extra[-phony] result dependencies command]
... [-I dir] ... [-R physicalpath logicalpath]
... [-Q physicalpath logicalpath] ... [VARIABLE = value]
... [-arg opt] ... [-opt|-byte] [-no-install] [-f file] [-o file]
[-h] [--help]
Full list of options:
[file.v]: Coq file to be compiled
[file.ml[ig]?]: Objective Caml file to be compiled
[file.ml{lib,pack}]: ocamlbuild-style file that describes a Objective Caml
library/module
[any] : subdirectory that should be "made" and has a Makefile itself
to do so. Very fragile and discouraged.
[-extra result dependencies command]: add target "result" with command
"command" and dependencies "dependencies". If "result" is not
generic (do not contains a %), "result" is built by _make all_ and
deleted by _make clean_.
[-extra-phony result dependencies command]: add a PHONY target "result"
with command "command" and dependencies "dependencies". Note that
_-extra-phony foo bar ""_ is a regular way to add the target "bar" as
as a dependencies of an already defined target "foo".
[-I dir]: look for Objective Caml dependencies in "dir"
[-R physicalpath logicalpath]: look for Coq dependencies recursively
starting from "physicalpath". The logical path associated to the
physical path is "logicalpath".
[-Q physicalpath logicalpath]: look for Coq dependencies starting from
"physicalpath". The logical path associated to the physical path
is "logicalpath".
[VARIABLE = value]: Add the variable definition "VARIABLE=value"
[-byte]: compile with byte-code version of coq
[-opt]: compile with native-code version of coq
[-arg opt]: send option "opt" to coqc
[-install opt]: where opt is "user" to force install into user directory,
"none" to build a makefile with no install target or
"global" to force install in $COQLIB directory
[-f file]: take the contents of file as arguments
[-o file]: output should go in file file (recommended)
Output file outside the current directory is forbidden.
[-h]: print this usage summary
[--help]: equivalent to [-h]
make[2]: *** [Makefile:9: Makefile.coq] Error 1
make[2]: Leaving directory '/build/aac-tactics-8.9.0'
make[1]: *** [debian/rules:21: override_dh_auto_clean] Error 2
make[1]: Leaving directory '/build/aac-tactics-8.9.0'
make: *** [debian/rules:18: clean] Error 2
dpkg-buildpackage: error: debian/rules clean subprocess returned exit status 2
I: copying local configuration
Can you please have a look?
G.
--- End Message ---
--- Begin Message ---
Source: aac-tactics
Source-Version: 8.11.0-1
Done: Ralf Treinen <treinen@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 953739@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Ralf Treinen <treinen@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: SHA256
Format: 1.8
Date: Tue, 17 Mar 2020 16:42:09 +0100
Source: aac-tactics
Architecture: source
Version: 8.11.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Closes: 953739
Changes:
aac-tactics (8.11.0-1) unstable; urgency=medium
.
* Team upload
* New upstream version, compiles with coq 8.11.0 (closes: #953739)
* debian/rules: on dynlink architectures, build opt before byte
* debian/*.ocamldoc: add -I /usr/lib/coq/tactics
Checksums-Sha1:
211039abe581bcd52b7d62881f90c26badc63df3 2178 aac-tactics_8.11.0-1.dsc
c2b8f120640800814d756f2089261a07bb6d42d2 65363 aac-tactics_8.11.0.orig.tar.gz
22f6715423d1d7e4f6eb123f755976e9d46e085f 3520 aac-tactics_8.11.0-1.debian.tar.xz
9893163adf34988e249c5fdc9bd84563e63d6153 15273 aac-tactics_8.11.0-1_source.buildinfo
Checksums-Sha256:
ac488eeac651cabf66dd5f86700b3482fd8c73cfb0186565819494ba1972f9f7 2178 aac-tactics_8.11.0-1.dsc
6af3a80e7c41cda36193236e5b2640beef33acdd8edff82f78592e92e58d547b 65363 aac-tactics_8.11.0.orig.tar.gz
0b24fb1b47e31b2269c2ac01f263c22bc324c8a7d7723ccd8d8f1cf477d2724e 3520 aac-tactics_8.11.0-1.debian.tar.xz
1967d1c4f511bf615b045f5bb584ea0d6ec14314760253a93856d0aa16b81826 15273 aac-tactics_8.11.0-1_source.buildinfo
Files:
6ebb662fc5e2375d844f50c2975c57f5 2178 math optional aac-tactics_8.11.0-1.dsc
7bc607851ba634e160597e726402172e 65363 math optional aac-tactics_8.11.0.orig.tar.gz
a643e5c4c2a685ad06dc6aec1a3fefb9 3520 math optional aac-tactics_8.11.0-1.debian.tar.xz
b5a3a59d2980a558b08ff0f363cad51c 15273 math optional aac-tactics_8.11.0-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl5w9ewACgkQdFxHZtTK
zf9gBA/+OgZFLC4Pme4raeYVfXnMuCW10qywZgw47iHPq9WrE1tq2clT97E9B4df
FXRKE/xPKDSgThbjSRY7urt8q+6cfDmQ0xV/z0o15vUBNqkLe4CzotBDiVFef4c6
tWdMEi4BXqb0AmuQ8CXytH8Ru4LJiRNI/UArXP1+t0Ypp0fWt1UllutppbamwgsT
0583mIRV3W2ar7qqvHoQKO1Gbw0LXXY1TNDGBkxF8vG6RhEBBQjVrHlZD3szVpl2
zft4ACUnXfkxrGB1EC8GM/97O4LuAio84qzVRf8P5HiuajDQ3g6xuThcucqo9nCF
EaMjdDLcqEmp9VQjmSlt5YbulEJBp8hgfOB6mgh0o2DNqPDWaKf6tPHSu12exMAV
Z5Q+eCndxH2I9a7U7aj4kIYLl0IUkDsmXIJVm1zFX/QV/jGBDWb+iJFdolnJW7MZ
Gq4d5gbAVWhhCL2W4TCbpci5k5DTCEqGHgvfkt/Ewf2PbcgWsTc2QGTe2iYwb9Go
2rUsJ0pBq0m4goYRgzwkLkBIc4FI5YvX2fIRvSM89tp5GEoNq9k/ZTufZ2NxZQga
WfCxh3Y6JOa34+jp6BTBX9QqS8uFaDCDNWm/QpQEpI87PuZ1i64QAHKy3l+L7LnE
Vp44SWo1NJwme/P+B0KAxU04GsTJdT+qZ8ixcUr7H7qmlJtguMc=
=Tpf7
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: