diff options
| author | Théo Zimmermann | 2019-04-26 14:12:11 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2019-04-26 14:12:11 +0200 |
| commit | 198bf0a3cf310ef37a8bd561ad6fa5f67dfc6ebd (patch) | |
| tree | e6d31b06b6381b74fa9f288289c4cd3aa48c78db | |
| parent | 025cb57a6f69c6a9c65e732656018d00d114be5c (diff) | |
| parent | ddece4b6c28b568984c23bdae74ef62321781c2f (diff) | |
Merge PR #9981: [dune] Build coqc.byte executable.
Reviewed-by: Zimmi48
Ack-by: rgrinberg
| -rw-r--r-- | topbin/dune | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/topbin/dune b/topbin/dune index e35a3de54b..3b861afe78 100644 --- a/topbin/dune +++ b/topbin/dune @@ -28,6 +28,11 @@ (libraries coq.toplevel) (link_flags -linkall)) +(install + (section bin) + (package coq) + (files (coqc_bin.bc as coqc.byte))) + ; Workers (executables (names coqqueryworker_bin coqtacticworker_bin coqproofworker_bin) |