Чтобы скомпилировать байтовый код, используйте ocamlc, за которым следуют любые другие файлы, требуемые по порядку слева направо, представляющие их зависимости. Эти файлы могут быть файлами исходного кода ocaml или скомпилированными файлами (cmo). Для компиляции файлов индивидуально cmo, вы должны сделать что-то вроде,
ocamlc.opt -c -annot -o util.cmo util.ml
ocamlc.opt unix.cmo str.cmo util.cmo game.ml -o game
Рекомендуется, чтобы включить строку вы использовали, чтобы попытаться скомпилировать приложение в вашем ответе, это должно быть просто здравый смысл.
libraries used throughout the code are: open Basics ;; open Paritygame ;; open Univsolve;; open Solvers;;
files containing the modules are: basics.ml basics.mli, paritygame.ml paritygame.mli,univsolve.ml univsolve.mli and solvers.ml solvers.mli.....
Эти библиотеки не называются. Это модули. Библиотека представляет собой коллекцию файлов cmo, скомпилированных в cma для распространения. Но все это, действительно, ничего не говорит о зависимостях между модулями, чтобы сказать нам, что вы делаете неправильно в компиляции. Я предлагаю, как только вы устраните некоторые из этих оснований, что вы переходите на ocamlbuild. Для простых проектов, подобных этому, он может скомпилировать проект буквально без усилий. Он будет разрешать зависимости и компилировать только файлы, которые были изменены с момента последнего вызова.