diff options
| author | charguer | 2019-10-25 13:13:43 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2019-11-01 12:16:49 +0100 |
| commit | 5efdfe979fd316372c59d9406fa7ade46aa6814a (patch) | |
| tree | 02945b5124ae1b02a006c15094eb3c371e8e64cb /tools | |
| parent | fb6afb4a7256b33725660668738bc17c84ae94f5 (diff) | |
fix coq_makefile and doc for vos support.
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/CoqMakefile.in | 4 |
1 files changed, 2 insertions, 2 deletions
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 $< |