Codebase list coq / 2f7bab3
Rewrite avoid-usr-bin-env.patch Julien Puydt 2 years ago
2 changed file(s) with 983 addition(s) and 22 deletion(s). Raw diff Collapse all Expand all
+1
-0
debian/changelog less more
11
22 * Add myself to uploaders.
33 * Bump standards-version to 4.6.0.
4 * Rewrite avoid-usr-bin-env.patch.
45
56 -- Julien Puydt <jpuydt@debian.org> Mon, 08 Nov 2021 08:34:01 +0100
67
+982
-22
debian/patches/avoid-usr-bin-env.patch less more
0 From: Benjamin Barenblat <bbaren@debian.org>
1 Date: Sun, 11 Aug 2019 18:33:23 +0200
2 Subject: Avoid invoking /usr/bin/env
3
0 Description: avoid using /usr/bin/env
1 Author: first written by B.Barenblat in 2019, updated by J.Puydt in 2021
42 Forwarded: not-needed
53
6 Per Debian Python policy [1], use `/usr/bin/python3` rather than
7 `/usr/bin/env python` to refer to the system Python (3) interpreter.
8
9 [1] https://www.debian.org/doc/packaging-manuals/python-policy/python.html#interpreter_loc
10 ---
11 tools/make-both-single-timing-files.py | 2 +-
12 tools/make-both-time-files.py | 2 +-
13 tools/make-one-time-file.py | 2 +-
14 3 files changed, 3 insertions(+), 3 deletions(-)
15
16 Index: coq/tools/make-one-time-file.py
17 ===================================================================
18 --- coq.orig/tools/make-one-time-file.py 2020-08-21 13:06:29.427958850 +0200
19 +++ coq/tools/make-one-time-file.py 2020-08-21 13:06:29.423958850 +0200
4 --- coq.orig/tools/make-one-time-file.py
5 +++ coq/tools/make-one-time-file.py
206 @@ -1,4 +1,4 @@
217 -#!/usr/bin/env python3
228 +#!/usr/bin/python3
239 import sys
2410 from TimeFileMaker import *
2511
26 Index: coq/dev/tools/update-compat.py
27 ===================================================================
28 --- coq.orig/dev/tools/update-compat.py 2020-08-21 13:06:29.427958850 +0200
29 +++ coq/dev/tools/update-compat.py 2020-08-21 13:07:59.499958222 +0200
12 --- coq.orig/dev/tools/update-compat.py
13 +++ coq/dev/tools/update-compat.py
3014 @@ -1,4 +1,4 @@
3115 -#!/usr/bin/env python3
3216 +#!/usr/bin/python3
3317 import os, re, sys, subprocess
3418 from io import open
19
20 @@ -305,7 +305,7 @@
21
22 def update_test_suite_run(**args):
23 contents = get_file(TEST_SUITE_RUN_PATH)
24 - new_contents = r'''#!/usr/bin/env bash
25 + new_contents = r'''#!/usr/bin/bash
26
27 # allow running this script from any directory by basing things on where the script lives
28 SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null && pwd )"
29 --- coq.orig/dev/bench/bench.sh
30 +++ coq/dev/bench/bench.sh
31 @@ -1,4 +1,4 @@
32 -#! /usr/bin/env bash
33 +#! /usr/bin/bash
34
35 # ASSUMPTIONS:
36 # - the OPAM packages, specified by the user, are topologically sorted wrt. to the dependency relationship.
37 --- coq.orig/dev/bench/render_results
38 +++ coq/dev/bench/render_results
39 @@ -1,4 +1,4 @@
40 -#! /usr/bin/env ocaml
41 +#! /usr/bin/ocaml
42
43 (* ASSUMPTIONS:
44 - the 1-st command line argument (working directory):
45 --- coq.orig/dev/bench/sort-by-deps
46 +++ coq/dev/bench/sort-by-deps
47 @@ -1,4 +1,4 @@
48 -#!/usr/bin/env ocaml
49 +#!/usr/bin/ocaml
50
51 let get_pkg_name arg =
52 List.nth (String.split_on_char ':' arg) 0
53 --- coq.orig/dev/bench/sort-by-deps.sh
54 +++ coq/dev/bench/sort-by-deps.sh
55 @@ -1,4 +1,4 @@
56 -#!/usr/bin/env bash
57 +#!/usr/bin/bash
58
59 program_name="$0"
60 program_path=$(readlink -f "${program_name%/*}")
61 --- coq.orig/dev/bench/timelog2html
62 +++ coq/dev/bench/timelog2html
63 @@ -1,4 +1,4 @@
64 -#!/usr/bin/env lua5.1
65 +#!/usr/bin/lua5.1
66
67 args = {...}
68
69 --- coq.orig/dev/ci/ci-aac_tactics.sh
70 +++ coq/dev/ci/ci-aac_tactics.sh
71 @@ -1,4 +1,4 @@
72 -#!/usr/bin/env bash
73 +#!/usr/bin/bash
74
75 set -e
76
77 --- coq.orig/dev/ci/ci-argosy.sh
78 +++ coq/dev/ci/ci-argosy.sh
79 @@ -1,4 +1,4 @@
80 -#!/usr/bin/env bash
81 +#!/usr/bin/bash
82
83 set -e
84
85 --- coq.orig/dev/ci/ci-basic-overlay.sh
86 +++ coq/dev/ci/ci-basic-overlay.sh
87 @@ -1,4 +1,4 @@
88 -#!/usr/bin/env bash
89 +#!/usr/bin/bash
90
91 # This is the list of repositories used by the CI scripts, unless overridden
92 # by a call to the "overlay" function in ci-common
93 --- coq.orig/dev/ci/ci-bbv.sh
94 +++ coq/dev/ci/ci-bbv.sh
95 @@ -1,4 +1,4 @@
96 -#!/usr/bin/env bash
97 +#!/usr/bin/bash
98
99 set -e
100
101 --- coq.orig/dev/ci/ci-bedrock2.sh
102 +++ coq/dev/ci/ci-bedrock2.sh
103 @@ -1,4 +1,4 @@
104 -#!/usr/bin/env bash
105 +#!/usr/bin/bash
106
107 set -e
108
109 --- coq.orig/dev/ci/ci-bignums.sh
110 +++ coq/dev/ci/ci-bignums.sh
111 @@ -1,4 +1,4 @@
112 -#!/usr/bin/env bash
113 +#!/usr/bin/bash
114
115 set -e
116
117 --- coq.orig/dev/ci/ci-color.sh
118 +++ coq/dev/ci/ci-color.sh
119 @@ -1,4 +1,4 @@
120 -#!/usr/bin/env bash
121 +#!/usr/bin/bash
122
123 set -e
124
125 --- coq.orig/dev/ci/ci-common.sh
126 +++ coq/dev/ci/ci-common.sh
127 @@ -1,4 +1,4 @@
128 -#!/usr/bin/env bash
129 +#!/usr/bin/bash
130
131 set -xe
132
133 --- coq.orig/dev/ci/ci-coq_dpdgraph.sh
134 +++ coq/dev/ci/ci-coq_dpdgraph.sh
135 @@ -1,4 +1,4 @@
136 -#!/usr/bin/env bash
137 +#!/usr/bin/bash
138
139 set -e
140
141 --- coq.orig/dev/ci/ci-coq_performance_tests.sh
142 +++ coq/dev/ci/ci-coq_performance_tests.sh
143 @@ -1,4 +1,4 @@
144 -#!/usr/bin/env bash
145 +#!/usr/bin/bash
146
147 set -e
148
149 --- coq.orig/dev/ci/ci-coq_tools.sh
150 +++ coq/dev/ci/ci-coq_tools.sh
151 @@ -1,4 +1,4 @@
152 -#!/usr/bin/env bash
153 +#!/usr/bin/bash
154
155 set -e
156
157 --- coq.orig/dev/ci/ci-coqhammer.sh
158 +++ coq/dev/ci/ci-coqhammer.sh
159 @@ -1,4 +1,4 @@
160 -#!/usr/bin/env bash
161 +#!/usr/bin/bash
162
163 set -e
164
165 --- coq.orig/dev/ci/ci-coqprime.sh
166 +++ coq/dev/ci/ci-coqprime.sh
167 @@ -1,4 +1,4 @@
168 -#!/usr/bin/env bash
169 +#!/usr/bin/bash
170
171 set -e
172
173 --- coq.orig/dev/ci/ci-coqtail.sh
174 +++ coq/dev/ci/ci-coqtail.sh
175 @@ -1,4 +1,4 @@
176 -#!/usr/bin/env bash
177 +#!/usr/bin/bash
178
179 set -e
180
181 --- coq.orig/dev/ci/ci-coquelicot.sh
182 +++ coq/dev/ci/ci-coquelicot.sh
183 @@ -1,4 +1,4 @@
184 -#!/usr/bin/env bash
185 +#!/usr/bin/bash
186
187 set -e
188
189 --- coq.orig/dev/ci/ci-corn.sh
190 +++ coq/dev/ci/ci-corn.sh
191 @@ -1,4 +1,4 @@
192 -#!/usr/bin/env bash
193 +#!/usr/bin/bash
194
195 set -e
196
197 --- coq.orig/dev/ci/ci-cross_crypto.sh
198 +++ coq/dev/ci/ci-cross_crypto.sh
199 @@ -1,4 +1,4 @@
200 -#!/usr/bin/env bash
201 +#!/usr/bin/bash
202
203 set -e
204
205 --- coq.orig/dev/ci/ci-deriving.sh
206 +++ coq/dev/ci/ci-deriving.sh
207 @@ -1,4 +1,4 @@
208 -#!/usr/bin/env bash
209 +#!/usr/bin/bash
210
211 set -e
212
213 --- coq.orig/dev/ci/ci-elpi.sh
214 +++ coq/dev/ci/ci-elpi.sh
215 @@ -1,4 +1,4 @@
216 -#!/usr/bin/env bash
217 +#!/usr/bin/bash
218
219 set -e
220
221 --- coq.orig/dev/ci/ci-engine_bench.sh
222 +++ coq/dev/ci/ci-engine_bench.sh
223 @@ -1,4 +1,4 @@
224 -#!/usr/bin/env bash
225 +#!/usr/bin/bash
226
227 set -e
228
229 --- coq.orig/dev/ci/ci-equations.sh
230 +++ coq/dev/ci/ci-equations.sh
231 @@ -1,4 +1,4 @@
232 -#!/usr/bin/env bash
233 +#!/usr/bin/bash
234
235 set -e
236
237 --- coq.orig/dev/ci/ci-ext_lib.sh
238 +++ coq/dev/ci/ci-ext_lib.sh
239 @@ -1,4 +1,4 @@
240 -#!/usr/bin/env bash
241 +#!/usr/bin/bash
242
243 set -e
244
245 --- coq.orig/dev/ci/ci-fiat_crypto.sh
246 +++ coq/dev/ci/ci-fiat_crypto.sh
247 @@ -1,4 +1,4 @@
248 -#!/usr/bin/env bash
249 +#!/usr/bin/bash
250
251 set -e
252
253 --- coq.orig/dev/ci/ci-fiat_crypto_legacy.sh
254 +++ coq/dev/ci/ci-fiat_crypto_legacy.sh
255 @@ -1,4 +1,4 @@
256 -#!/usr/bin/env bash
257 +#!/usr/bin/bash
258
259 set -e
260
261 --- coq.orig/dev/ci/ci-fiat_crypto_ocaml.sh
262 +++ coq/dev/ci/ci-fiat_crypto_ocaml.sh
263 @@ -1,4 +1,4 @@
264 -#!/usr/bin/env bash
265 +#!/usr/bin/bash
266
267 set -e
268
269 --- coq.orig/dev/ci/ci-fiat_parsers.sh
270 +++ coq/dev/ci/ci-fiat_parsers.sh
271 @@ -1,4 +1,4 @@
272 -#!/usr/bin/env bash
273 +#!/usr/bin/bash
274
275 set -e
276
277 --- coq.orig/dev/ci/ci-flocq.sh
278 +++ coq/dev/ci/ci-flocq.sh
279 @@ -1,4 +1,4 @@
280 -#!/usr/bin/env bash
281 +#!/usr/bin/bash
282
283 set -e
284
285 --- coq.orig/dev/ci/ci-fourcolor.sh
286 +++ coq/dev/ci/ci-fourcolor.sh
287 @@ -1,4 +1,4 @@
288 -#!/usr/bin/env bash
289 +#!/usr/bin/bash
290
291 set -e
292
293 --- coq.orig/dev/ci/ci-gappa.sh
294 +++ coq/dev/ci/ci-gappa.sh
295 @@ -1,4 +1,4 @@
296 -#!/usr/bin/env bash
297 +#!/usr/bin/bash
298
299 set -e
300
301 --- coq.orig/dev/ci/ci-geocoq.sh
302 +++ coq/dev/ci/ci-geocoq.sh
303 @@ -1,4 +1,4 @@
304 -#!/usr/bin/env bash
305 +#!/usr/bin/bash
306
307 set -e
308
309 --- coq.orig/dev/ci/ci-hott.sh
310 +++ coq/dev/ci/ci-hott.sh
311 @@ -1,4 +1,4 @@
312 -#!/usr/bin/env bash
313 +#!/usr/bin/bash
314
315 set -e
316
317 --- coq.orig/dev/ci/ci-iris.sh
318 +++ coq/dev/ci/ci-iris.sh
319 @@ -1,4 +1,4 @@
320 -#!/usr/bin/env bash
321 +#!/usr/bin/bash
322
323 set -e
324
325 --- coq.orig/dev/ci/ci-math_classes.sh
326 +++ coq/dev/ci/ci-math_classes.sh
327 @@ -1,4 +1,4 @@
328 -#!/usr/bin/env bash
329 +#!/usr/bin/bash
330
331 set -e
332
333 --- coq.orig/dev/ci/ci-mathcomp.sh
334 +++ coq/dev/ci/ci-mathcomp.sh
335 @@ -1,4 +1,4 @@
336 -#!/usr/bin/env bash
337 +#!/usr/bin/bash
338
339 set -e
340
341 --- coq.orig/dev/ci/ci-mczify.sh
342 +++ coq/dev/ci/ci-mczify.sh
343 @@ -1,4 +1,4 @@
344 -#!/usr/bin/env bash
345 +#!/usr/bin/bash
346
347 set -e
348
349 --- coq.orig/dev/ci/ci-menhir.sh
350 +++ coq/dev/ci/ci-menhir.sh
351 @@ -1,4 +1,4 @@
352 -#!/usr/bin/env bash
353 +#!/usr/bin/bash
354
355 set -e
356
357 --- coq.orig/dev/ci/ci-metacoq.sh
358 +++ coq/dev/ci/ci-metacoq.sh
359 @@ -1,4 +1,4 @@
360 -#!/usr/bin/env bash
361 +#!/usr/bin/bash
362
363 set -e
364
365 --- coq.orig/dev/ci/ci-mtac2.sh
366 +++ coq/dev/ci/ci-mtac2.sh
367 @@ -1,4 +1,4 @@
368 -#!/usr/bin/env bash
369 +#!/usr/bin/bash
370
371 set -e
372
373 --- coq.orig/dev/ci/ci-oddorder.sh
374 +++ coq/dev/ci/ci-oddorder.sh
375 @@ -1,4 +1,4 @@
376 -#!/usr/bin/env bash
377 +#!/usr/bin/bash
378
379 set -e
380
381 --- coq.orig/dev/ci/ci-paramcoq.sh
382 +++ coq/dev/ci/ci-paramcoq.sh
383 @@ -1,4 +1,4 @@
384 -#!/usr/bin/env bash
385 +#!/usr/bin/bash
386
387 set -e
388
389 --- coq.orig/dev/ci/ci-perennial.sh
390 +++ coq/dev/ci/ci-perennial.sh
391 @@ -1,4 +1,4 @@
392 -#!/usr/bin/env bash
393 +#!/usr/bin/bash
394
395 set -e
396
397 --- coq.orig/dev/ci/ci-quickchick.sh
398 +++ coq/dev/ci/ci-quickchick.sh
399 @@ -1,4 +1,4 @@
400 -#!/usr/bin/env bash
401 +#!/usr/bin/bash
402
403 set -e
404
405 --- coq.orig/dev/ci/ci-reduction_effects.sh
406 +++ coq/dev/ci/ci-reduction_effects.sh
407 @@ -1,4 +1,4 @@
408 -#!/usr/bin/env bash
409 +#!/usr/bin/bash
410
411 set -e
412
413 --- coq.orig/dev/ci/ci-relation_algebra.sh
414 +++ coq/dev/ci/ci-relation_algebra.sh
415 @@ -1,4 +1,4 @@
416 -#!/usr/bin/env bash
417 +#!/usr/bin/bash
418
419 set -e
420
421 --- coq.orig/dev/ci/ci-rewriter.sh
422 +++ coq/dev/ci/ci-rewriter.sh
423 @@ -1,4 +1,4 @@
424 -#!/usr/bin/env bash
425 +#!/usr/bin/bash
426
427 set -e
428
429 --- coq.orig/dev/ci/ci-sf.sh
430 +++ coq/dev/ci/ci-sf.sh
431 @@ -1,4 +1,4 @@
432 -#!/usr/bin/env bash
433 +#!/usr/bin/bash
434
435 set -e
436
437 --- coq.orig/dev/ci/ci-simple_io.sh
438 +++ coq/dev/ci/ci-simple_io.sh
439 @@ -1,4 +1,4 @@
440 -#!/usr/bin/env bash
441 +#!/usr/bin/bash
442
443 set -e
444
445 --- coq.orig/dev/ci/ci-stdlib2.sh
446 +++ coq/dev/ci/ci-stdlib2.sh
447 @@ -1,4 +1,4 @@
448 -#!/usr/bin/env bash
449 +#!/usr/bin/bash
450
451 set -e
452
453 --- coq.orig/dev/ci/ci-tlc.sh
454 +++ coq/dev/ci/ci-tlc.sh
455 @@ -1,4 +1,4 @@
456 -#!/usr/bin/env bash
457 +#!/usr/bin/bash
458
459 set -e
460
461 --- coq.orig/dev/ci/ci-unicoq.sh
462 +++ coq/dev/ci/ci-unicoq.sh
463 @@ -1,4 +1,4 @@
464 -#!/usr/bin/env bash
465 +#!/usr/bin/bash
466
467 set -e
468
469 --- coq.orig/dev/ci/ci-unimath.sh
470 +++ coq/dev/ci/ci-unimath.sh
471 @@ -1,4 +1,4 @@
472 -#!/usr/bin/env bash
473 +#!/usr/bin/bash
474
475 set -e
476
477 --- coq.orig/dev/ci/ci-verdi_raft.sh
478 +++ coq/dev/ci/ci-verdi_raft.sh
479 @@ -1,4 +1,4 @@
480 -#!/usr/bin/env bash
481 +#!/usr/bin/bash
482
483 set -e
484
485 --- coq.orig/dev/ci/ci-vscoq.sh
486 +++ coq/dev/ci/ci-vscoq.sh
487 @@ -1,4 +1,4 @@
488 -#!/usr/bin/env bash
489 +#!/usr/bin/bash
490
491 set -e
492
493 --- coq.orig/dev/ci/ci-vst.sh
494 +++ coq/dev/ci/ci-vst.sh
495 @@ -1,4 +1,4 @@
496 -#!/usr/bin/env bash
497 +#!/usr/bin/bash
498
499 set -e
500
501 --- coq.orig/dev/ci/ci-wrapper.sh
502 +++ coq/dev/ci/ci-wrapper.sh
503 @@ -1,4 +1,4 @@
504 -#!/usr/bin/env bash
505 +#!/usr/bin/bash
506
507 # Use this script to preserve the exit code of $CI_SCRIPT when piping
508 # it to `tee time-of-build.log`. We have a separate script, because
509 --- coq.orig/dev/ci/nix/shell
510 +++ coq/dev/ci/nix/shell
511 @@ -1,4 +1,4 @@
512 -#!/usr/bin/env sh
513 +#!/usr/bin/sh
514
515 ## This file should be run from the root of the Coq source tree
516
517 --- coq.orig/dev/dune-dbg.in
518 +++ coq/dev/dune-dbg.in
519 @@ -1,4 +1,4 @@
520 -#!/usr/bin/env bash
521 +#!/usr/bin/bash
522
523 # Run in a proper install dune env.
524 case $1 in
525 --- coq.orig/dev/lint-commits.sh
526 +++ coq/dev/lint-commits.sh
527 @@ -1,4 +1,4 @@
528 -#!/usr/bin/env bash
529 +#!/usr/bin/bash
530
531 # A script to check prettyness for a range of commits
532 set -e
533 --- coq.orig/dev/lint-repository.sh
534 +++ coq/dev/lint-repository.sh
535 @@ -1,4 +1,4 @@
536 -#!/usr/bin/env bash
537 +#!/usr/bin/bash
538
539 # A script to check prettyness over the repository.
540
541 --- coq.orig/dev/shim/dune
542 +++ coq/dev/shim/dune
543 @@ -6,7 +6,7 @@
544 (action
545 (with-stdout-to coqtop-prelude
546 (progn
547 - (echo "#!/usr/bin/env bash\n")
548 + (echo "#!/usr/bin/bash\n")
549 (bash "echo '\"$(dirname \"$0\")\"/%{bin:coqtop} -coqlib \"$(dirname \"$0\")/%{project_root}\" \"$@\"'")
550 (run chmod +x %{targets})))))
551
552 @@ -18,7 +18,7 @@
553 (action
554 (with-stdout-to coqc-prelude
555 (progn
556 - (echo "#!/usr/bin/env bash\n")
557 + (echo "#!/usr/bin/bash\n")
558 (bash "echo '\"$(dirname \"$0\")\"/%{bin:coqc} -coqlib \"$(dirname \"$0\")\"/%{project_root} \"$@\"'")
559 (run chmod +x %{targets})))))
560
561 @@ -55,7 +55,7 @@
562 (action
563 (with-stdout-to %{targets}
564 (progn
565 - (echo "#!/usr/bin/env bash\n")
566 + (echo "#!/usr/bin/bash\n")
567 (bash "echo '\"$(dirname \"$0\")\"/%{bin:coqtop.byte} -coqlib \"$(dirname \"$0\")\"/%{project_root} \"$@\"'")
568 (run chmod +x %{targets})))))
569
570 @@ -76,6 +76,6 @@
571 (action
572 (with-stdout-to coqide-prelude
573 (progn
574 - (echo "#!/usr/bin/env bash\n")
575 + (echo "#!/usr/bin/bash\n")
576 (bash "echo '\"$(dirname \"$0\")\"/%{bin:coqide} -coqlib \"$(dirname \"$0\")\"/%{project_root} \"$@\"'")
577 (run chmod +x %{targets})))))
578 --- coq.orig/dev/tools/backport-pr.sh
579 +++ coq/dev/tools/backport-pr.sh
580 @@ -1,4 +1,4 @@
581 -#!/usr/bin/env bash
582 +#!/usr/bin/bash
583
584 set -e
585
586 --- coq.orig/dev/tools/check-cachekey.sh
587 +++ coq/dev/tools/check-cachekey.sh
588 @@ -1,4 +1,4 @@
589 -#!/usr/bin/env bash
590 +#!/usr/bin/bash
591
592 hash=$(md5sum dev/ci/docker/bionic_coq/Dockerfile | head -c 10)
593 key=$(grep CACHEKEY: .gitlab-ci.yml)
594 --- coq.orig/dev/tools/check-eof-newline.sh
595 +++ coq/dev/tools/check-eof-newline.sh
596 @@ -1,4 +1,4 @@
597 -#!/usr/bin/env bash
598 +#!/usr/bin/bash
599
600 # Usage: check-eof-newline.sh [--fix] FILES...
601 # Detect missing end of file newlines for FILES.
602 --- coq.orig/dev/tools/check-overlays.sh
603 +++ coq/dev/tools/check-overlays.sh
604 @@ -1,4 +1,4 @@
605 -#!/usr/bin/env bash
606 +#!/usr/bin/bash
607
608 for f in $(git ls-files "dev/ci/user-overlays/")
609 do
610 --- coq.orig/dev/tools/check-owners-pr.sh
611 +++ coq/dev/tools/check-owners-pr.sh
612 @@ -1,4 +1,4 @@
613 -#!/usr/bin/env sh
614 +#!/usr/bin/sh
615
616 usage() {
617 { echo "usage: $0 PR [ARGS]..."
618 --- coq.orig/dev/tools/check-owners.sh
619 +++ coq/dev/tools/check-owners.sh
620 @@ -1,4 +1,4 @@
621 -#!/usr/bin/env bash
622 +#!/usr/bin/bash
623
624 # Determine CODEOWNERS of the files given in argument
625 # For a given commit range:
626 --- coq.orig/dev/tools/create_overlays.sh
627 +++ coq/dev/tools/create_overlays.sh
628 @@ -1,4 +1,4 @@
629 -#!/usr/bin/env bash
630 +#!/usr/bin/bash
631
632 # TODO:
633 #
634 --- coq.orig/dev/tools/generate-release-changelog.sh
635 +++ coq/dev/tools/generate-release-changelog.sh
636 @@ -1,4 +1,4 @@
637 -#!/usr/bin/env bash
638 +#!/usr/bin/bash
639
640 set -e
641 set -o pipefail
642 --- coq.orig/dev/tools/github-check-prs.py
643 +++ coq/dev/tools/github-check-prs.py
644 @@ -1,4 +1,4 @@
645 -#!/usr/bin/env python3
646 +#!/usr/bin/python3
647
648 # Requires PyGithub https://pypi.python.org/pypi/PyGithub, for instance
649 # debian package: python3-github
650 --- coq.orig/dev/tools/list-contributors.sh
651 +++ coq/dev/tools/list-contributors.sh
652 @@ -1,4 +1,4 @@
653 -#!/usr/bin/env bash
654 +#!/usr/bin/bash
655 # For compat with OSX which has a non-gnu sed which doesn't support -z
656 SED=`(which gsed || which sed) 2> /dev/null`
657
658 --- coq.orig/dev/tools/make_git_revision.sh
659 +++ coq/dev/tools/make_git_revision.sh
660 @@ -1,4 +1,4 @@
661 -#!/usr/bin/env bash
662 +#!/usr/bin/bash
663
664 if [ -x `which git` ] && [ -d .git ] || git rev-parse --git-dir > /dev/null 2>&1
665 then
666 --- coq.orig/dev/tools/merge-pr.sh
667 +++ coq/dev/tools/merge-pr.sh
668 @@ -1,4 +1,4 @@
669 -#!/usr/bin/env bash
670 +#!/usr/bin/bash
671
672 set -e
673 set -o pipefail
674 --- coq.orig/dev/tools/notify-upstream-pins.sh
675 +++ coq/dev/tools/notify-upstream-pins.sh
676 @@ -1,5 +1,5 @@
677
678 -#!/usr/bin/env bash
679 +#!/usr/bin/bash
680
681 # Script to notify upstreams that we need a tag to put in a platform/installer
682
683 --- coq.orig/dev/tools/pin-ci.sh
684 +++ coq/dev/tools/pin-ci.sh
685 @@ -1,4 +1,4 @@
686 -#!/usr/bin/env bash
687 +#!/usr/bin/bash
688
689 # Use this script to pin the commit used by the developments tracked by the CI
690
691 --- coq.orig/doc/stdlib/make-library-index
692 +++ coq/doc/stdlib/make-library-index
693 @@ -1,4 +1,4 @@
694 -#!/usr/bin/env bash
695 +#!/usr/bin/bash
696
697 # Instantiate links to library files in index template
698
699 --- coq.orig/doc/tools/coqrst/notations/fontsupport.py
700 +++ coq/doc/tools/coqrst/notations/fontsupport.py
701 @@ -1,4 +1,4 @@
702 -#!/usr/bin/env python2
703 +#!/usr/bin/python2
704 # -*- coding: utf-8 -*-
705 ##########################################################################
706 ## # The Coq Proof Assistant / The Coq Development Team ##
707 --- coq.orig/doc/tools/coqrst/regen_readme.py
708 +++ coq/doc/tools/coqrst/regen_readme.py
709 @@ -1,4 +1,4 @@
710 -#!/usr/bin/env python3
711 +#!/usr/bin/python3
712 # -*- coding: utf-8 -*-
713
714 """Rebuild sphinx/README.rst from sphinx/README.template.rst."""
715 --- coq.orig/test-suite/coq-makefile/camldep/run.sh
716 +++ coq/test-suite/coq-makefile/camldep/run.sh
717 @@ -1,4 +1,4 @@
718 -#!/usr/bin/env bash
719 +#!/usr/bin/bash
720
721 set -e
722 export PATH=$COQBIN:$PATH
723 --- coq.orig/test-suite/coq-makefile/findlib-package-unpacked/run.sh
724 +++ coq/test-suite/coq-makefile/findlib-package-unpacked/run.sh
725 @@ -1,4 +1,4 @@
726 -#!/usr/bin/env bash
727 +#!/usr/bin/bash
728
729 . ../template/init.sh
730 mv src/test_plugin.mlpack src/test_plugin.mllib
731 --- coq.orig/test-suite/coq-makefile/local-late-extension/run.sh
732 +++ coq/test-suite/coq-makefile/local-late-extension/run.sh
733 @@ -1,4 +1,4 @@
734 -#!/usr/bin/env bash
735 +#!/usr/bin/bash
736
737 . ../template/path-init.sh
738
739 --- coq.orig/test-suite/coq-makefile/missing-install/run.sh
740 +++ coq/test-suite/coq-makefile/missing-install/run.sh
741 @@ -1,4 +1,4 @@
742 -#!/usr/bin/env bash
743 +#!/usr/bin/bash
744
745 . ../template/init.sh
746
747 --- coq.orig/test-suite/coq-makefile/native1/run.sh
748 +++ coq/test-suite/coq-makefile/native1/run.sh
749 @@ -1,4 +1,4 @@
750 -#!/usr/bin/env bash
751 +#!/usr/bin/bash
752
753 NONATIVECOMP=$(grep "let native_compiler = NativeOff" ../../../config/coq_config.ml)||true
754 if [[ $(which ocamlopt) && ! $NONATIVECOMP ]]; then
755 --- coq.orig/test-suite/coq-makefile/native2/run.sh
756 +++ coq/test-suite/coq-makefile/native2/run.sh
757 @@ -1,4 +1,4 @@
758 -#!/usr/bin/env bash
759 +#!/usr/bin/bash
760
761 NONATIVECOMP=$(grep "let native_compiler = NativeOff" ../../../config/coq_config.ml)||true
762 if [[ $(which ocamlopt) && ! $NONATIVECOMP ]]; then
763 --- coq.orig/test-suite/coq-makefile/native3/run.sh
764 +++ coq/test-suite/coq-makefile/native3/run.sh
765 @@ -1,4 +1,4 @@
766 -#!/usr/bin/env bash
767 +#!/usr/bin/bash
768
769 NONATIVECOMP=$(grep "let native_compiler = NativeOff" ../../../config/coq_config.ml)||true
770 if [[ $(which ocamlopt) && ! $NONATIVECOMP ]]; then
771 --- coq.orig/test-suite/coq-makefile/native4/run.sh
772 +++ coq/test-suite/coq-makefile/native4/run.sh
773 @@ -1,4 +1,4 @@
774 -#!/usr/bin/env bash
775 +#!/usr/bin/bash
776
777 NONATIVECOMP=$(grep "let native_compiler = NativeOff" ../../../config/coq_config.ml)||true
778 if [[ $(which ocamlopt) && ! $NONATIVECOMP ]]; then
779 --- coq.orig/test-suite/coq-makefile/timing/precomputed-time-tests/001-correct-diff-sorting-order/run.sh
780 +++ coq/test-suite/coq-makefile/timing/precomputed-time-tests/001-correct-diff-sorting-order/run.sh
781 @@ -1,4 +1,4 @@
782 -#!/usr/bin/env bash
783 +#!/usr/bin/bash
784
785 set -x
786 set -e
787 --- coq.orig/test-suite/coq-makefile/timing/precomputed-time-tests/002-single-file-sorting/run.sh
788 +++ coq/test-suite/coq-makefile/timing/precomputed-time-tests/002-single-file-sorting/run.sh
789 @@ -1,4 +1,4 @@
790 -#!/usr/bin/env bash
791 +#!/usr/bin/bash
792
793 set -x
794 set -e
795 --- coq.orig/test-suite/coq-makefile/timing/precomputed-time-tests/003-non-utf8/run.sh
796 +++ coq/test-suite/coq-makefile/timing/precomputed-time-tests/003-non-utf8/run.sh
797 @@ -1,4 +1,4 @@
798 -#!/usr/bin/env bash
799 +#!/usr/bin/bash
800
801 set -x
802 set -e
803 --- coq.orig/test-suite/coq-makefile/timing/precomputed-time-tests/004-per-file-fuzz/run.sh
804 +++ coq/test-suite/coq-makefile/timing/precomputed-time-tests/004-per-file-fuzz/run.sh
805 @@ -1,4 +1,4 @@
806 -#!/usr/bin/env bash
807 +#!/usr/bin/bash
808
809 set -x
810 set -e
811 --- coq.orig/test-suite/coq-makefile/timing/precomputed-time-tests/005-correct-diff-sorting-order-mem/run.sh
812 +++ coq/test-suite/coq-makefile/timing/precomputed-time-tests/005-correct-diff-sorting-order-mem/run.sh
813 @@ -1,4 +1,4 @@
814 -#!/usr/bin/env bash
815 +#!/usr/bin/bash
816
817 set -x
818 set -e
819 --- coq.orig/test-suite/coq-makefile/timing/precomputed-time-tests/006-zero-before/run.sh
820 +++ coq/test-suite/coq-makefile/timing/precomputed-time-tests/006-zero-before/run.sh
821 @@ -1,4 +1,4 @@
822 -#!/usr/bin/env bash
823 +#!/usr/bin/bash
824
825 set -x
826 set -e
827 --- coq.orig/test-suite/coq-makefile/timing/precomputed-time-tests/007-no-output-sync/run.sh
828 +++ coq/test-suite/coq-makefile/timing/precomputed-time-tests/007-no-output-sync/run.sh
829 @@ -1,4 +1,4 @@
830 -#!/usr/bin/env bash
831 +#!/usr/bin/bash
832
833 set -x
834 set -e
835 --- coq.orig/test-suite/coq-makefile/timing/precomputed-time-tests/run.sh
836 +++ coq/test-suite/coq-makefile/timing/precomputed-time-tests/run.sh
837 @@ -1,4 +1,4 @@
838 -#!/usr/bin/env bash
839 +#!/usr/bin/bash
840
841 set -x
842 set -e
843 --- coq.orig/test-suite/misc/11170.sh
844 +++ coq/test-suite/misc/11170.sh
845 @@ -1,4 +1,4 @@
846 -#!/usr/bin/env bash
847 +#!/usr/bin/bash
848
849 set -e
850
851 --- coq.orig/test-suite/misc/13330.sh
852 +++ coq/test-suite/misc/13330.sh
853 @@ -1,4 +1,4 @@
854 -#!/usr/bin/env bash
855 +#!/usr/bin/bash
856
857 $coqc misc/13330/bug_13330.v
858 R=$?
859 --- coq.orig/test-suite/misc/7704.sh
860 +++ coq/test-suite/misc/7704.sh
861 @@ -1,4 +1,4 @@
862 -#!/usr/bin/env bash
863 +#!/usr/bin/bash
864
865 set -e
866
867 --- coq.orig/test-suite/misc/changelog.sh
868 +++ coq/test-suite/misc/changelog.sh
869 @@ -1,4 +1,4 @@
870 -#!/usr/bin/env bash
871 +#!/usr/bin/bash
872
873 if grep -q -F "is_a_released_version = False" ../config/coq_config.py; then
874 echo "This is not a released version: nothing to test."
875 --- coq.orig/test-suite/misc/coq_environment.sh
876 +++ coq/test-suite/misc/coq_environment.sh
877 @@ -1,4 +1,4 @@
878 -#!/usr/bin/env bash
879 +#!/usr/bin/bash
880
881 export COQBIN=$BIN
882 export PATH=$COQBIN:$PATH
883 --- coq.orig/test-suite/misc/coq_makefile_destination_of.sh
884 +++ coq/test-suite/misc/coq_makefile_destination_of.sh
885 @@ -1,4 +1,4 @@
886 -#!/usr/bin/env bash
887 +#!/usr/bin/bash
888
889 export COQBIN=$BIN
890 export PATH=$COQBIN:$PATH
891 --- coq.orig/test-suite/misc/coqc_dash_o.sh
892 +++ coq/test-suite/misc/coqc_dash_o.sh
893 @@ -1,4 +1,4 @@
894 -#!/usr/bin/env bash
895 +#!/usr/bin/bash
896
897 DOUT=misc/tmp_coqc_dash_o/
898 OUT=${DOUT}coqc_dash_o.vo
899 --- coq.orig/test-suite/misc/coqtop_print-mod-uid.sh
900 +++ coq/test-suite/misc/coqtop_print-mod-uid.sh
901 @@ -1,4 +1,4 @@
902 -#!/usr/bin/env bash
903 +#!/usr/bin/bash
904
905 export COQBIN=$BIN
906 export PATH=$COQBIN:$PATH
907 --- coq.orig/test-suite/misc/non-marshalable-state.sh
908 +++ coq/test-suite/misc/non-marshalable-state.sh
909 @@ -1,4 +1,4 @@
910 -#!/usr/bin/env bash
911 +#!/usr/bin/bash
912
913 set -e
914
915 --- coq.orig/test-suite/misc/poly-capture-global-univs.sh
916 +++ coq/test-suite/misc/poly-capture-global-univs.sh
917 @@ -1,4 +1,4 @@
918 -#!/usr/bin/env bash
919 +#!/usr/bin/bash
920
921 set -e
922
923 --- coq.orig/test-suite/misc/quotation_token.sh
924 +++ coq/test-suite/misc/quotation_token.sh
925 @@ -1,4 +1,4 @@
926 -#!/usr/bin/env bash
927 +#!/usr/bin/bash
928
929 set -e
930
931 --- coq.orig/test-suite/misc/redirect_printing.sh
932 +++ coq/test-suite/misc/redirect_printing.sh
933 @@ -1,4 +1,4 @@
934 -#!/usr/bin/env bash
935 +#!/usr/bin/bash
936
937 $coqc misc/redirect_printing.v
938 diff -u redirect_test.out misc/redirect_printing.out
939 --- coq.orig/test-suite/misc/side-eff-leak-univs.sh
940 +++ coq/test-suite/misc/side-eff-leak-univs.sh
941 @@ -1,4 +1,4 @@
942 -#!/usr/bin/env bash
943 +#!/usr/bin/bash
944
945 set -e
946
947 --- coq.orig/test-suite/misc/universes/build_all_stdlib.sh
948 +++ coq/test-suite/misc/universes/build_all_stdlib.sh
949 @@ -1,4 +1,4 @@
950 -#!/usr/bin/env bash
951 +#!/usr/bin/bash
952
953 echo "Require $(find ../../../theories ../../../plugins -type f -name "*.v" | \
954 sed 's/^.*\/theories\///' | sed 's/^.*\/plugins\///' | sed 's/\.v$//' | sed 's/\//./g') ."
955 --- coq.orig/test-suite/misc/vio_checking.sh
956 +++ coq/test-suite/misc/vio_checking.sh
957 @@ -1,4 +1,4 @@
958 -#!/usr/bin/env bash
959 +#!/usr/bin/bash
960
961 set -ex
962
963 --- coq.orig/test-suite/report.sh
964 +++ coq/test-suite/report.sh
965 @@ -1,4 +1,4 @@
966 -#!/usr/bin/env bash
967 +#!/usr/bin/bash
968
969 # save failed logs to logs/, then print failure information
970 # returns failure code if any failed logs exist
971 --- coq.orig/test-suite/tools/update-compat/run.sh
972 +++ coq/test-suite/tools/update-compat/run.sh
973 @@ -1,4 +1,4 @@
974 -#!/usr/bin/env bash
975 +#!/usr/bin/bash
976
977 # allow running this script from any directory by basing things on where the script lives
978 SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null && pwd )"
979 --- coq.orig/tools/make-both-single-timing-files.py
980 +++ coq/tools/make-both-single-timing-files.py
981 @@ -1,4 +1,4 @@
982 -#!/usr/bin/env python3
983 +#!/usr/bin/python3
984 from TimeFileMaker import *
985
986 if __name__ == '__main__':
987 --- coq.orig/tools/make-both-time-files.py
988 +++ coq/tools/make-both-time-files.py
989 @@ -1,4 +1,4 @@
990 -#!/usr/bin/env python3
991 +#!/usr/bin/python3
992 from TimeFileMaker import *
993
994 if __name__ == '__main__':