blob: c3092baccc3dbe36e0153d239b40f47c1ec754f3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
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),,@)
--
|
