Има ли команда за генериране на .cmo .cmx .cmi .mli заедно?

Не мисля, че има начин да се генерират всички тези файлове наведнъж.

.mli :   ocamlc -i     x.ml > x.mli
.cmi :   ocamlc        x.mli
.cmo :   ocamlc -c     x.ml
.cmx :   ocamlopt -c   x.ml

Ако можете без файла .mli, можете да генерирате файловете .cmi и .cmo заедно с ocamlc -c. В противен случай мисля, че ще трябва да генерирате файлове един по един.

Имайте предвид, че има .o файл за всеки .cmx файл; те работят като двойка.

Можете да използвате Makefile, за да направи всичко това вместо вас. Тук имам примерен шаблон за проект, който може да помогне: https://github.com/snim2/ocaml-template

Кажете make byte, make native или make docs, за да генерирате вида изход, който търсите.