From 069d17f4f138fd779eff589119a7783784ababd9 Mon Sep 17 00:00:00 2001 From: Jim Fehrle Date: Thu, 28 Jun 2018 13:04:27 -0700 Subject: Rebuild coqtop$(EXE) in "make coqbinaries" in addition to coqtop.opt$(EXE). Fixes #7758. --- Makefile.install | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile.install') diff --git a/Makefile.install b/Makefile.install index 010e35d42..21015d336 100644 --- a/Makefile.install +++ b/Makefile.install @@ -70,7 +70,7 @@ endif install-binaries: install-tools $(MKDIR) $(FULLBINDIR) - $(INSTALLBIN) $(COQC) $(CHICKEN) $(COQTOPEXE) $(TOPBIN) $(FULLBINDIR) + $(INSTALLBIN) $(COQC) $(CHICKEN) $(COQTOPEXE) $(TOPBINOPT) $(FULLBINDIR) install-byte: install-coqide-byte $(MKDIR) $(FULLBINDIR) -- cgit v1.2.3