Bug#952454: coq: patch to use python3 (missing tests)
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.
Reply to: