From 103f59ed6b8174ed9359cb11c909f1b2219390c9 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Tue, 9 Oct 2018 23:02:28 +0200
Subject: [toplevel] Split interactive toplevel and compiler binaries.

We make `coqc` a truly standalone binary, whereas `coqtop` is
restricted to interactive use.

Thus, `coqtop -compile` will emit a warning and call `coqc`.

We have also refactored `Coqargs` into a common `Coqargs` module and a
compilation-specific module `Coqcargs`.

This solves problems related to `coqc` having its own argument
parsing, and reduces the number of strange argument combinations a
lot.
---
 Makefile.common | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Makefile.common')

diff --git a/Makefile.common b/Makefile.common
index 2dced04967..f998ea867b 100644
--- a/Makefile.common
+++ b/Makefile.common
@@ -32,6 +32,7 @@ COQWCBYTE:=bin/coqwc.byte$(EXE)
 COQDOC:=bin/coqdoc$(EXE)
 COQDOCBYTE:=bin/coqdoc.byte$(EXE)
 COQC:=bin/coqc$(EXE)
+COQCOPT:=bin/coqc.opt$(EXE)
 COQCBYTE:=bin/coqc.byte$(EXE)
 COQWORKMGR:=bin/coqworkmgr$(EXE)
 COQWORKMGRBYTE:=bin/coqworkmgr.byte$(EXE)
-- 
cgit v1.2.3