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.
---
 tools/dune | 7 -------
 1 file changed, 7 deletions(-)

(limited to 'tools/dune')

diff --git a/tools/dune b/tools/dune
index 31b70fb06c..204bd09535 100644
--- a/tools/dune
+++ b/tools/dune
@@ -15,13 +15,6 @@
  (modules coq_makefile)
  (libraries coq.lib))
 
-(executable
- (name coqc)
- (public_name coqc)
- (package coq)
- (modules coqc)
- (libraries coq.toplevel))
-
 (executable
  (name coqworkmgr)
  (public_name coqworkmgr)
-- 
cgit v1.2.3