diff options
| -rw-r--r-- | checker/dune | 1 | ||||
| -rw-r--r-- | ide/dune | 1 |
2 files changed, 2 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) @@ -48,6 +48,7 @@ (package coqide) (optional) (modules coqide_main) + (modes exe byte) (libraries coqide_gui)) ; Input-method bindings |