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 /dev | |
| 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.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions