(executable
 (name coqtop_bin)
 (public_name coqtop)
 (package coq-core)
 (modules coqtop_bin)
 (libraries coq-core.toplevel))

(executable
 (name coqtop_byte_bin)
 (public_name coqtop.byte)
 (package coq-core)
 (modules coqtop_byte_bin)
 (libraries compiler-libs.toplevel coq-core.config.byte coq-core.toplevel coq-core.dev findlib.top)
 (modes byte))

(executable
 (name coqc_bin)
 (public_name coqc)
 (package coq-core)
 (modules coqc_bin)
 (libraries coq-core.toplevel))
 ; Adding -ccopt -flto to links options could be interesting, however,
 ; it doesn't work on Windows

(executable
 (name coqc_byte_bin)
 (public_name coqc.byte)
 (package coq-core)
 (modules coqc_byte_bin)
 (libraries coq-core.toplevel)
 (modes byte))

(executable
 (name coqnative_bin)
 (public_name coqnative)
 (package coq-core)
 (modules coqnative_bin)
 (libraries coq-core.kernel)
 (modes exe byte)
 (link_flags -linkall))

; Workers
(executable
 (name coqworker_bin)
 (public_name coqworker.opt)
 (package coq-core)
 (modules coqworker_bin)
 (libraries coq-core.toplevel))
