diff options
| author | Emilio Jesus Gallego Arias | 2019-12-10 09:34:46 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-12-10 09:34:46 +0100 |
| commit | 0ad6e13fc3065c6ff1eefa87c8a709fdf5602b0a (patch) | |
| tree | f19469d8f878dcdb6ae8cdfbf31c19b4c13146de /checker | |
| parent | fa50ef6b47baa0d1c6ec79e6e4ec364fd47393a3 (diff) | |
| parent | defda813f09428c446df5b4c964dc228587931d8 (diff) | |
Merge PR #11268: dune: Add byte mode for coqchk and coqide (fix dune-dbg for dune 2)
Reviewed-by: ejgallego
Diffstat (limited to 'checker')
| -rw-r--r-- | checker/dune | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/checker/dune b/checker/dune index 73cbbc8d19..af7d4f2923 100644 --- a/checker/dune +++ b/checker/dune @@ -12,6 +12,7 @@ (executable (name coqchk) (public_name coqchk) + (modes exe byte) (package coq) (modules coqchk) (flags :standard -open Coq_checklib) |