diff options
| author | Gaëtan Gilbert | 2019-12-09 22:40:03 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-12-09 22:40:03 +0100 |
| commit | defda813f09428c446df5b4c964dc228587931d8 (patch) | |
| tree | f19469d8f878dcdb6ae8cdfbf31c19b4c13146de /ide | |
| parent | fa50ef6b47baa0d1c6ec79e6e4ec364fd47393a3 (diff) | |
dune: Add byte mode for coqchk and coqide (fix dune-dbg for dune 2)
dune-dbg depends on coqchk.bc and coqide_main.bc, and apparently they
now need explicit modes to be produced.
Diffstat (limited to 'ide')
| -rw-r--r-- | ide/dune | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -48,6 +48,7 @@ (package coqide) (optional) (modules coqide_main) + (modes exe byte) (libraries coqide_gui)) ; Input-method bindings |