diff options
Diffstat (limited to 'debian/patches/0001-Fix-missing-coqlib-argument-to-coqdep-in-test-suite.patch')
-rw-r--r-- | debian/patches/0001-Fix-missing-coqlib-argument-to-coqdep-in-test-suite.patch | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/debian/patches/0001-Fix-missing-coqlib-argument-to-coqdep-in-test-suite.patch b/debian/patches/0001-Fix-missing-coqlib-argument-to-coqdep-in-test-suite.patch deleted file mode 100644 index c3092bac..00000000 --- a/debian/patches/0001-Fix-missing-coqlib-argument-to-coqdep-in-test-suite.patch +++ /dev/null @@ -1,23 +0,0 @@ -From: Stephane Glondu <steph@glondu.net> -Date: Fri, 15 Oct 2010 17:24:18 +0200 -Subject: [PATCH] Fix missing -coqlib argument to coqdep in test-suite - -Signed-off-by: Stephane Glondu <steph@glondu.net> ---- - test-suite/Makefile | 2 +- - 1 files changed, 1 insertions(+), 1 deletions(-) - -diff --git a/test-suite/Makefile b/test-suite/Makefile -index 62d443d..98bab43 100644 ---- a/test-suite/Makefile -+++ b/test-suite/Makefile -@@ -40,7 +40,7 @@ endif - - command := $(coqtop) -top Top -load-vernac-source - coqc := $(coqtop) -compile --coqdep := $(BIN)coqdep -+coqdep := $(BIN)coqdep -coqlib $(LIB) - - SHOW := $(if $(VERBOSE),@true,@echo) - HIDE := $(if $(VERBOSE),,@) --- |