Your message dated Thu, 05 Mar 2020 21:49:57 +0000 with message-id <[email protected]> and subject line Bug#952454: fixed in coq 8.11.0-1 has caused the Debian Bug report #952454, regarding coq: patch to use python3 (missing tests) 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 [email protected] immediately.) -- 952454: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=952454 Debian Bug Tracking System Contact [email protected] with problems
--- Begin Message ---Source: coq Version: 8.9.1-5 Severity: serious tags: patch Hello, looks like coq is still calling python2 in testsuite, leading to build failures if python2 is not installed anymore. Adding two more calls to the avoid-usr-bin-env.patch seems to do the trick diff -Nru coq-8.9.1/debian/patches/avoid-usr-bin-env.patch coq-8.9.1/debian/patches/avoid-usr-bin-env.patch --- coq-8.9.1/debian/patches/avoid-usr-bin-env.patch 2020-01-28 19:23:39.000000000 +0000 +++ coq-8.9.1/debian/patches/avoid-usr-bin-env.patch 2020-02-24 17:08:50.000000000 +0000 @@ -44,3 +44,19 @@ import sys from TimeFileMaker import * +--- coq-8.9.1.orig/dev/tools/update-compat.py ++++ coq-8.9.1/dev/tools/update-compat.py +@@ -1,4 +1,4 @@ +-#!/usr/bin/env python ++#!/usr/bin/python3 + from __future__ import with_statement + import os, re, sys + +--- coq-8.9.1.orig/doc/tools/coqrst/notations/fontsupport.py ++++ coq-8.9.1/doc/tools/coqrst/notations/fontsupport.py +@@ -1,4 +1,4 @@ +-#!/usr/bin/env python2 ++#!/usr/bin/python3 + # -*- coding: utf-8 -*- + ########################################################################## + ## # The Coq Proof Assistant / The Coq Development Team ## I don't have the log anymore with PRINT_LOGS=1, but it was something like ) > "tools/update-compat.log" FAILED tools/update-compat.log /usr/bin/make report make[5]: Entering directory '/<<PKGBUILDDIR>>/test-suite' /usr/bin/make --quiet summary > "summary.log" bash report.sh FAILURES tools/update-compat/run.sh...Error! To print details of failed tests, rerun with environment variable PRINT_LOGS=1 eg "make report PRINT_LOGS=1" from the test suite directory" See README.md in the test suite directory for more information. make[5]: *** [Makefile:200: report] Error 1 "/usr/bin/env python" not found or similar. G.
--- End Message ---
--- Begin Message ---Source: coq Source-Version: 8.11.0-1 Done: Ralf Treinen <[email protected]> We believe that the bug you reported is fixed in the latest version of coq, 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 [email protected], and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Ralf Treinen <[email protected]> (supplier of updated coq 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 [email protected]) -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Thu, 05 Mar 2020 21:37:30 +0100 Source: coq Architecture: source Version: 8.11.0-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <[email protected]> Changed-By: Ralf Treinen <[email protected]> Closes: 952454 Changes: coq (8.11.0-1) unstable; urgency=medium . * New upstream release. * Updated patches: - remove-heavy-tests: also remove success/Nia.v - avoid-usr-bin-env.patch: also patch dev/tools/update-compat.py. Thanks to the Gianfranco Costamagna for the hint (closes: #952454) * Refreshed patches: - remove-tests-that-need-coqlib - python-scripts-libraries - skip-dot-pc - verbose-build - remove-bytecode-failing-tests * Removed patches: - ssrmatching-license: fixed by upstream - use-changelog-date: fixed by upstream * New patch: - restore_g_ssrmatching.mli - votour-linking: patch by Hugo Herbelin (thanks!) fixes linking of votour on bytecode architectures * invoke "make test" with PRINT_LOGS=1 as suggested by SkySkimmer (thanks) * disable building of the VM on s390x, as suggested by ejgallego (thanks) This should fix a test failure on s390x (https://github.com/coq/coq/issues/11395) * Dispatch into different binary packages: - simplify find invocation in debian/rules - add *.vos files, new *.cmo, *.cmxs files - add votour and doc_grammar binaries * Add an as-installed test for the compiler and the toplevel * Renamed debian/TODO.Debian to debian/TODO * Bump build-dependency on ocaml to >= 4.05, as indicated by INSTALL Checksums-Sha1: 747e10c7d10c10c94bdedc79d0e8c22d2b910a50 2496 coq_8.11.0-1.dsc 2060835b376b6bc9669e6d0a01929c094351d153 5825620 coq_8.11.0.orig.tar.gz 070499f52619dabc38c5960fed369b61b7e567bd 31672 coq_8.11.0-1.debian.tar.xz 2a3b481403be8ec92ce35b5f41b8e467af38cd09 16593 coq_8.11.0-1_source.buildinfo Checksums-Sha256: 3bae766caf927d8865d2a1fe94708f1498bb3af075a7f89a2c73fe45eebefbf6 2496 coq_8.11.0-1.dsc 578344b3f01c89af65b9f9902c4a07df8faa2b8f8ec080a53bd3f7848a91bfd9 5825620 coq_8.11.0.orig.tar.gz 8ac88e9f07ee7cb9c268457daf2a07f7f8276d3c71ac4449c13fdbbae611e961 31672 coq_8.11.0-1.debian.tar.xz 0c90b82599075b8bd20d910ddba2497ff1fe70d9e691bb5d282edfd801739340 16593 coq_8.11.0-1_source.buildinfo Files: 42dfa50394052c04f029eb3384520fdc 2496 math optional coq_8.11.0-1.dsc ea1c950f8864e16455823006104ce30a 5825620 math optional coq_8.11.0.orig.tar.gz 5bf07a30596f5db69dfcf3c4fdf0f8cc 31672 math optional coq_8.11.0-1.debian.tar.xz f2d41aef33f565c1652a23c8c3f8bdc3 16593 math optional coq_8.11.0-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl5hbu8ACgkQdFxHZtTK zf/Elg//fqEOOzcvzRcLmwudWpFWMyQbh1dO8yUTQciHrdrkkEwi2EEiTFsf+2pa 6oaT3z+v/ayRKdaXeh0+/QwEIcy2q06IE/cIjc0xQqL9iGP35mSB1GvUljB9h7xx 2qQ/bljRJLmfpRiahwL/ss1HU3Wcf6uhNN53fc0LTSFGecKywl4gmkTgXc7iGNq2 vdnWVb6j5UFiD5d/NmMHNwrXKQrvARchJTgYm3hU4FPsLkyEdNWpzgN0Ij7xPu7v jHiBgpeCrKjQ8ANebjsxiSvA71PjuAMvotVBdsd5JpRIFwvwMCqUkk20F1eV1uyp M3B0jwVmv9MXcMy/1N9ln7rnqM74S0VpsVcReonghr4InQNshbf7fYnBZ2d2+tDq 93z03VvKV/etItGkhTRscABnIlpozO6rgw6dsP/rYoDuY+JkXrXXT8mwT0eYuml+ nehxy+vn97NIs6RrQfwhnQor369mWK7NmleYXjFcYGAPwc1AayMuzTIpk8LCEl7G UUzIFw1xAeyMQ/kgokcJdDmL+RRn5GzkbL3QGZXOj08EQ61zpGoKgW0uNrfLMC23 NT1DgcfWFvxl4b8oj28ZoOoselPtZFB6VV0KM4hOL8c2rd29vGp0z5QP2WZUwPX5 v1cw2O2/gF4FIlBoFF+uOwDX83l3yOtTPLM4SwLqsFD6JgUprFE= =io/5 -----END PGP SIGNATURE-----
--- End Message ---
