Package: coq / 8.12.0-3

avoid-usr-bin-env.patch Patch series | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
From: Benjamin Barenblat <bbaren@debian.org>
Date: Sun, 11 Aug 2019 18:33:23 +0200
Subject: Avoid invoking /usr/bin/env

Forwarded: not-needed

Per Debian Python policy [1], use `/usr/bin/python3` rather than
`/usr/bin/env python` to refer to the system Python (3) interpreter.

[1] https://www.debian.org/doc/packaging-manuals/python-policy/python.html#interpreter_loc
---
 tools/make-both-single-timing-files.py | 2 +-
 tools/make-both-time-files.py          | 2 +-
 tools/make-one-time-file.py            | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

Index: coq/tools/make-one-time-file.py
===================================================================
--- coq.orig/tools/make-one-time-file.py	2020-08-21 13:06:29.427958850 +0200
+++ coq/tools/make-one-time-file.py	2020-08-21 13:06:29.423958850 +0200
@@ -1,4 +1,4 @@
-#!/usr/bin/env python3
+#!/usr/bin/python3
 import sys
 from TimeFileMaker import *
 
Index: coq/dev/tools/update-compat.py
===================================================================
--- coq.orig/dev/tools/update-compat.py	2020-08-21 13:06:29.427958850 +0200
+++ coq/dev/tools/update-compat.py	2020-08-21 13:07:59.499958222 +0200
@@ -1,4 +1,4 @@
-#!/usr/bin/env python3
+#!/usr/bin/python3
 import os, re, sys, subprocess
 from io import open