diff options
| author | Emilio Jesus Gallego Arias | 2019-04-23 17:14:08 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-04-24 06:05:40 +0200 |
| commit | ddece4b6c28b568984c23bdae74ef62321781c2f (patch) | |
| tree | 6c47ed6cb444e8943856d5bc1920a17a54b434cf | |
| parent | 75c5264aa687480c66a6765d64246b5ebd2c0d54 (diff) | |
[dune] Build coqc.byte executable.
This may be useful in a few cases, like testing compilation with
byte-plugins; I chose to install it globally tho it is more of a
developer target.
| -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) |