Bug#952454: marked as done (coq: patch to use python3 (missing tests))
Your message dated Thu, 05 Mar 2020 21:49:57 +0000
with message-id <E1j9yNR-0002Zv-9w@fasolo.debian.org>
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 owner@bugs.debian.org
immediately.)
--
952454: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=952454
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
- To: submit@bugs.debian.org
- Subject: coq: patch to use python3 (missing tests)
- From: Gianfranco Costamagna <locutusofborg@debian.org>
- Date: Mon, 24 Feb 2020 18:12:44 +0100
- Message-id: <e22be2e1-5324-6714-3da1-9c99ea149a05@debian.org>
- References: <e22be2e1-5324-6714-3da1-9c99ea149a05.ref@debian.org>
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 <treinen@debian.org>
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 952454@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 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 ftpmaster@ftp-master.debian.org)
-----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 <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
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 ---
Reply to: