Commit 597f29a50de67cf5a5fc0604db0f170339b6e590 - coq

refresh patch python-scripts-libraries Ralf Treinen 3 years ago

2 changed file(s) with 5 addition(s) and 4 deletion(s). Raw diff Collapse all Expand all

-0

debian/changelog less more

3	3	refresh patches:
4	4	- remove-tests-that-need-coqlib
5	5	- avoid-usr-bin-env
	6	- python-scripts-libraries
6	7
7	8	--
8	9

-4

debian/patches/python-scripts-libraries.patch less more

10	10
11	11	Index: coq/tools/CoqMakefile.in
12	12	===================================================================
13		--- coq.orig/tools/CoqMakefile.in 2020-01-31 11:48:46.107848965 +0100
14		+++ coq/tools/CoqMakefile.in 2020-01-31 11:48:46.103848965 +0100
15		@@ -93,9 +93,9 @@
16		COQMKFILE ?= "$(COQBIN)coq_makefile"
	13	--- coq.orig/tools/CoqMakefile.in 2020-08-21 13:11:23.171956803 +0200
	14	+++ coq/tools/CoqMakefile.in 2020-08-21 13:11:23.167956803 +0200
	15	@@ -97,9 +97,9 @@
	16	OCAMLLIBDEP ?= "$(COQBIN)ocamllibdep"
17	17
18	18	# Timing scripts
19	19	-COQMAKE_ONE_TIME_FILE ?= "$(COQLIB)/tools/make-one-time-file.py"