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

Bug#968946: marked as done (coccinelle: FTBFS in sid)

Your message dated Wed, 02 Sep 2020 19:18:27 +0000
with message-id <E1kDYH5-000Btf-RB@fasolo.debian.org>
and subject line Bug#968946: fixed in coccinelle 1.0.8.deb-4
has caused the Debian Bug report #968946,
regarding coccinelle: 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.)


-- 
968946: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=968946
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Source: coccinelle
Version: 1.0.8.deb-3
Severity: serious

Hello, some ocaml changes broke the build of coccinelle

http://debomatic-amd64.debian.net/distribution#unstable/coccinelle/1.0.8.deb-3/buildlog

snip of the failure:
OCAMLC    parsing_cocci/command_line.mli
File "parsing_cocci/parser_cocci_menhir.mli", line 234, characters 25-36:
234 |   (Ast_cocci.meta_name * Ast.metavar) option * Ast.mvinit)
                               ^^^^^^^^^^^
Error: Unbound module AstOCAMLC    parsing_c/token_annot.mli

OCAMLC    parsing_c/flag_parsing_c.mli
make[1]: *** [Makefile:421: parsing_cocci/parser_cocci_menhir.cmi] Error 2

thanks for having a look

Gianfranco

--- End Message ---
--- Begin Message --- 
Source: coccinelle
Source-Version: 1.0.8.deb-4
Done: Ralf Treinen <treinen@debian.org>

We believe that the bug you reported is fixed in the latest version of
coccinelle, 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 968946@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 coccinelle 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: Wed, 02 Sep 2020 20:45:21 +0200
Source: coccinelle
Architecture: source
Version: 1.0.8.deb-4
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Closes: 886712 968946
Changes:
 coccinelle (1.0.8.deb-4) unstable; urgency=medium
 .
   * New patch menhir-2200525: solves FTBFS with recent versions of menhir
     (closes: #968946)
   * Compile with python support (closes: #886712)
   * Add myself to Uploaders.
Checksums-Sha1:
 963bcbfbf8b743def4b858b01410afb4f4f937b8 2495 coccinelle_1.0.8.deb-4.dsc
 55418d82fc84bd65468201c5d41f34c9d0eacae0 49340 coccinelle_1.0.8.deb-4.debian.tar.xz
 aea98cc4b86ef513641ac3131da7c01b3a33e5f2 6505 coccinelle_1.0.8.deb-4_source.buildinfo
Checksums-Sha256:
 46ea7f9da475125a917eea73930ac11e33c2738a5d79680557046eb4df142346 2495 coccinelle_1.0.8.deb-4.dsc
 a0683b6d66d50d5d8db637aeeacfdbeb72e0364b0b2c5c0917f9503dd1aaf5d4 49340 coccinelle_1.0.8.deb-4.debian.tar.xz
 bf6285cccac202e598cedee826e14c7f071020dddd88f7d6d4990f282676573f 6505 coccinelle_1.0.8.deb-4_source.buildinfo
Files:
 7ae02c351a0055bd338d8b0cdb63c6d6 2495 devel optional coccinelle_1.0.8.deb-4.dsc
 4cbb0aa3c37b2e9689401fc12b2932d5 49340 devel optional coccinelle_1.0.8.deb-4.debian.tar.xz
 4c31547a8ecbb75bf7d7994981604ac8 6505 devel optional coccinelle_1.0.8.deb-4_source.buildinfo

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

iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl9P7AUACgkQdFxHZtTK
zf8HYA//dlJaP9uPK7C5QdPlGCysY2xx3xYmYzCzjOZYyyIwBzpmQSdSAFX0lFdZ
b30iS5Ri10DZK92CpNB8L+AZq6roCRx+kIYN5Tl5TIF5JGZv21v42A/Ej1e4Zz3S
UwjWFBEB2TnjfXVNyOFRxGG6BbLAyu9HUY2Mb3qTPP5OYBJYDi+bXWyznL42FMuv
Hj5qxVaCvl4pJ9/uHNB75JpMrAAOfmD7JMRC7MDfKphuxelC9q/xLnxZnFKQqSEH
LQKuuBeQlv2dsCH2kfcPMENwJhN0hi4hMapCBhF/D/cqVMntEkURphgfF7cViyIw
6AIiHv/pF1Zd2w+8h1iOmMwOx4Rax7JH1F9enjMqLCkn7V/Y7DNNy86+DwX0SjBi
P2SE3KVtltKoHaksm6t+7hSlw9p9Gl2l44DXEQxLTRDMgyqDEqKzI3rKbRMK8nQR
qgAeoUOH6osMiLZjc1b+Ew5gFy1C1eyi6VyBpvPFfw3PucI6Cuef7dc/tCv/1gxU
qa5tHl+bMQ/j7rF/wQW5fS24bqbVH2wxKdzb9ks3GdK9ONTuinbrzNRmH3wSlC5N
TRvpjhMZDvWTCBMV+GaiPxZC+Igc3U4cS+QSEuPgC+sgr7RIyfAm/M9zzZ9ivyt7
WttFZ6FqSEPkkzq5ARsqaoKvtZKVhWcH/cE7i6T2wx7EMAT064Q=
=Bnk8
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: