From 5efdfe979fd316372c59d9406fa7ade46aa6814a Mon Sep 17 00:00:00 2001
From: charguer
Date: Fri, 25 Oct 2019 13:13:43 +0200
Subject: fix coq_makefile and doc for vos support.

---
 tools/CoqMakefile.in | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'tools')

diff --git a/tools/CoqMakefile.in b/tools/CoqMakefile.in
index 1cceed79a4..b8930997a4 100644
--- a/tools/CoqMakefile.in
+++ b/tools/CoqMakefile.in
@@ -676,11 +676,11 @@ $(VFILES:.v=.vio): %.vio: %.v
 
 $(VFILES:.v=.vos): %.vos: %.v
 	$(SHOW)COQC -vos $<
-	$(HIDE)$(TIMER) $(COQC) -vos $(COQDEBUG) $(COQFLAGS) $<
+	$(HIDE)$(TIMER) $(COQC) -vos $(COQDEBUG) $(COQFLAGS) $(COQLIBS) $<
 
 $(VFILES:.v=.vok): %.vok: %.v
 	$(SHOW)COQC -vok $<
-	$(HIDE)$(TIMER) $(COQC) -vok $(COQDEBUG) $(COQFLAGS) $<
+	$(HIDE)$(TIMER) $(COQC) -vok $(COQDEBUG) $(COQFLAGS) $(COQLIBS) $<
 
 $(addsuffix .timing.diff,$(VFILES)): %.timing.diff : %.before-timing %.after-timing
 	$(SHOW)PYTHON TIMING-DIFF $<
-- 
cgit v1.2.3