diff options
author | 2018-06-28 13:04:27 -0700 | |
---|---|---|
committer | 2018-06-30 10:21:21 -0700 | |
commit | 069d17f4f138fd779eff589119a7783784ababd9 (patch) | |
tree | 0a7fb0841703b7273f4609f3a0744e452239b78b /Makefile.common | |
parent | 74640d2b8bc158b301c0646db19747a86313e25a (diff) |
Rebuild coqtop$(EXE) in "make coqbinaries" in addition to coqtop.opt$(EXE).
Fixes #7758.
Diffstat (limited to 'Makefile.common')
-rw-r--r-- | Makefile.common | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.common b/Makefile.common index 5b1def40a..1506bfcad 100644 --- a/Makefile.common +++ b/Makefile.common @@ -14,8 +14,8 @@ # Executables ########################################################################### -TOPBIN:=$(addsuffix .opt$(EXE), $(addprefix bin/, coqtop coqproofworker coqtacticworker coqqueryworker)) -TOPBYTE:=$(TOPBIN:.opt$(EXE)=.byte$(EXE)) +TOPBINOPT:=$(addsuffix .opt$(EXE), $(addprefix bin/, coqtop coqproofworker coqtacticworker coqqueryworker)) +TOPBYTE:=$(TOPBINOPT:.opt$(EXE)=.byte$(EXE)) COQTOPEXE:=bin/coqtop$(EXE) COQTOPBYTE:=bin/coqtop.byte$(EXE) |