(install
 (section bin)
 (package coq-core)
 (files (coqtop_bin.exe as coqtop)))

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

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

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

(install
 (section bin)
 (package coq-core)
 (files (coqc_bin.bc as coqc.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 findlib.dynload))
