ocamlc.opt - Интернет в облаке

ПРОГРАММА:

ИМЯ

ocamlc - компилятор байт-кода OCaml

СИНТАКСИС

окамлк [ кредита ] имя файла ...

ocamlc.opt [ кредита ] имя файла ...

ОПИСАНИЕ

Компилятор байт-кода OCaml окамлк(1) компилирует исходные файлы OCaml в объектные файлы с байт-кодом
и связывает эти объектные файлы для создания автономных исполняемых файлов с байт-кодом. Эти
исполняемые файлы затем запускаются интерпретатором байт-кода Ocamlrun(1).

Команда окамлк(1) команда имеет интерфейс командной строки, аналогичный интерфейсу большинства компиляторов C.
Он принимает несколько типов аргументов и обрабатывает их последовательно:

Аргументы, оканчивающиеся на .mli, считаются исходными файлами для интерфейсов модулей компиляции.
Интерфейсы определяют имена, экспортируемые модулями компиляции: они объявляют имена значений с
их типы, определяют общедоступные типы данных, объявляют абстрактные типы данных и так далее. От
файл x.mli, окамлк(1) компилятор создает скомпилированный интерфейс в файле x.cми.

Аргументы, оканчивающиеся на .ml, считаются исходными файлами для реализаций модуля компиляции.
Реализации предоставляют определения для имен, экспортируемых модулем, а также содержат
выражения, которые необходимо оценить на предмет их побочных эффектов. Из файла x.ml, окамлк(1)
компилятор создает байт-код скомпилированного объекта в файле x.смо.

Если интерфейсный файл x.mli существует, реализация x.ml проверяется на соответствие
соответствующий скомпилированный интерфейс x.cmi, который предполагается существующим. Если нет интерфейса x.мли
предоставляется сборник x.ml создает скомпилированный интерфейсный файл x.cmi в дополнение
в файл скомпилированного объектного кода x.cmo. Файл xСоздаваемый .cmi соответствует
интерфейс, который экспортирует все, что определено в реализации x.мл.

Аргументы, оканчивающиеся на .cmo, считаются байт-кодом скомпилированного объекта. Эти файлы связаны
вместе с объектными файлами, полученными путем компиляции аргументов .ml (если есть), и
стандартная библиотека OCaml для создания автономной исполняемой программы. Порядок, в котором
Аргументы .cmo и .ml представлены в командной строке актуально: единицы компиляции
инициализируется в этом порядке во время выполнения, и это ошибка времени компоновки, чтобы использовать компонент
перед его инициализацией. Следовательно, данный xФайл .cmo должен предшествовать всем .cmo
файлы, относящиеся к устройству x.

Аргументы, оканчивающиеся на .cma, считаются библиотеками байт-кода объекта. Библиотека
объектный байт-код упаковывает в один файл набор файлов объектного байт-кода (файлы .cmo).
Библиотеки построены с окамлк -a (см. описание -a вариант ниже). В
объектные файлы, содержащиеся в библиотеке, связаны как обычные файлы .cmo (см. выше) в
порядок, указанный при построении файла .cma. Единственная разница в том, что если объект
файл, содержащийся в библиотеке, нигде в программе не упоминается, то он не
связано в.

Аргументы, заканчивающиеся на .c, передаются компилятору C, который генерирует объектный файл .o.
Этот объектный файл связывается с программой, если -Custom установлен флаг (см.
описание -Custom ниже).

Аргументы, оканчивающиеся на .o или .a, считаются объектными файлами и библиотеками C. Они есть
передается компоновщику C при связывании в -Custom режим (см. описание -Custom
ниже).

Предполагается, что аргументы, оканчивающиеся на .so, являются разделяемыми библиотеками C (DLL). Во время связывания они
ищутся внешние функции C, на которые ссылается код OCaml, и их имена
записывается в сгенерированный исполняемый файл байт-кода. Система времени выполнения Ocamlrun(1) затем загружает
их динамически во время запуска программы.

Результатом фазы компоновки является файл, содержащий скомпилированный байт-код, который может быть
выполняется интерпретатором байт-кода OCaml: команда Ocamlrun(1). Если caml.out это
имя файла, созданного на этапе связывания, команда Ocamlrun caml.out
arg1 arg2 ... аргумент выполняет скомпилированный код, содержащийся в caml.out, передав его как
аргументы строки символов arg1 в аргумент. (См. Ocamlrun(1) для получения более подробной информации.)

В большинстве систем файл, созданный на этапе компоновки, можно запустить напрямую, например:
./caml.out arg1 arg2 ... аргумент. Созданный файл имеет установленный исполняемый бит, и он
самостоятельно запускает интерпретатор байт-кода.

ocamlc.opt тот же компилятор, что и окамлк, но скомпилирован с помощью компилятора машинного кода
окамлопт(1). Таким образом, он ведет себя точно так же, как окамлк, но компилируется быстрее. ocamlc.opt май
недоступен во всех установках OCaml.

ДОПОЛНИТЕЛЬНЫЕ ОПЦИИ

Следующие параметры командной строки распознаются окамлк(1).

-a Создайте библиотеку (файл .cma) с объектными файлами (файлами .cmo), указанными в команде
строка, вместо того, чтобы связывать их в исполняемый файл. Название библиотеки должно
быть установлен с -o опцию.

If -Custom, -cclib or -ccopt параметры передаются в командной строке, эти параметры
сохраняются в полученной библиотеке .cma. Затем, связавшись с этой библиотекой
автоматически добавляет обратно -Custom, -cclib и -ccopt варианты, как если бы они были
предоставляется в командной строке, если только -нет автоссылки предоставляется вариант. Кроме того,
подстрока $ CAMLORIGIN внутри -ccopt параметры будут заменены полным путем
в библиотеку .cma, исключая имя файла. -absname Показать абсолютные имена файлов в
Сообщения об ошибках.

-аннот Вывести подробную информацию о компиляции (типы, привязки, хвостовые вызовы и т. Д.).
Информация для файла SRC.ml помещается в файл SRC.annot. В случае типа
error, выгрузите всю информацию, полученную средством проверки типов перед ошибкой. В
SRCФайл .annot можно использовать с командами emacs, указанными в emacs / caml-types.el в
отображать типы и другие аннотации в интерактивном режиме.

-бин-аннот
Вывести подробную информацию о компиляции (типы, привязки, хвостовые вызовы и т. Д.)
в двоичном формате. Информация для файла SRC.ml помещается в файл SRC.cmt. В
в случае ошибки типа, выгрузите всю информацию, полученную проверкой типов, перед
Ошибка. Файлы аннотаций, созданные -бин-аннот содержать больше информации
и намного компактнее, чем файлы, созданные -аннот.

-c Только компилировать. Подавить фазу компоновки компиляции. Файлы исходного кода
превращается в скомпилированные файлы, но исполняемый файл не создается. Этот вариант
полезно компилировать модули по отдельности.

-cc комп
Используйте комп в качестве компоновщика C при компоновке в режиме «настраиваемой среды выполнения» (см. -Custom
option) и как компилятор C для компиляции исходных файлов .c.

-cclib -lимя библиотеки
Пройти -lимя библиотеки опция компоновщика C при компоновке в режиме «настраиваемой среды выполнения»
(См -Custom вариант). Это приводит к тому, что данная библиотека C будет связана с
программу.

-ccopt вариант
Передайте данный вариант к компилятору C и компоновщику, при компоновке в "custom
runtime "режим (см. -Custom вариант). Например, -ccopt -Lдиректория вызывает C
компоновщик для поиска библиотек C в каталоге директория.

-компат-32
Убедитесь, что сгенерированный исполняемый файл байт-кода может работать на 32-битных платформах, и сигнализируйте
ошибка, если не может. Это полезно при компиляции байт-кода на 64-битной машине.

-конфигурация
Выведите номер версии окамлк(1) и подробное описание его конфигурации,
затем выйдите.

-Custom
Ссылка в режиме "пользовательского времени выполнения". В режиме связывания по умолчанию компоновщик производит
байт-код, который предназначен для выполнения с общей системой времени выполнения,
Ocamlrun(1). В настраиваемом режиме выполнения компоновщик создает выходной файл, который
содержит как исполняющую систему, так и байт-код программы. Результирующий
файл больше, но его можно запустить напрямую, даже если Ocamlrun(1) команда
не установлен. Кроме того, режим "пользовательского времени выполнения" позволяет связать код OCaml с
определяемые пользователем функции C.

Никогда не используйте полоса(1) команда для исполняемых файлов, созданных окамлк -Custom, это
удалит часть байт-кода исполняемого файла.

-dllib -lимя библиотеки
Организовать для общей библиотеки C DLL файлыимя библиотеки.так загружаться динамически во время выполнения
система времени Ocamlrun(1) во время запуска программы.

-dllпуть директория
Добавляет каталог директория к пути поиска во время выполнения для разделяемых библиотек C. В
во время компоновки, общие библиотеки ищутся по стандартному пути поиска (тот
соответствующие -I вариант). В -dllпуть вариант просто сохраняет директория в
произвел исполняемый файл, где Ocamlrun(1) может найти и использовать.

-для упаковки идент
Этот вариант принят для совместимости с окамлопт(1); это ничего не делает.

-g Добавляйте отладочную информацию при компиляции и компоновке. Эта опция требуется в
чтобы иметь возможность отлаживать программу с помощью окамлдебаг(1) и произвести стек
выполняет обратную трассировку, когда программа завершается из-за неперехваченного исключения.

-i Заставить компилятор печатать все определенные имена (с их предполагаемыми типами или их
определения) при компиляции реализации (файл .ml). Нет скомпилированных файлов (.cmo
и файлы .cmi). Это может быть полезно для проверки типов, выводимых
компилятор. Кроме того, поскольку вывод следует синтаксису интерфейсов, это может помочь
при написании явного интерфейса (файла .mli) для файла: просто перенаправьте стандартный
вывод компилятора в файл .mli и отредактируйте этот файл, чтобы удалить все
объявления неэкспортированных имен.

-I каталог
Добавить указанный каталог в список каталогов, в которых выполняется поиск скомпилированного интерфейса.
файлы (.cmi), файлы скомпилированного объектного кода (.cmo), библиотеки (.cma) и библиотеки C
указано с -cclib -lххх . По умолчанию сначала выполняется поиск в текущем каталоге,
затем каталог стандартной библиотеки. Каталоги добавлены с помощью -I ищутся после
текущий каталог в том порядке, в котором они были указаны в командной строке,
но перед стандартной библиотечной директорией. Также вариант -nostdlib.

Если данный каталог начинается с +, берется относительно стандартной библиотеки
каталог. Например, -I + компилятор-библиотеки добавляет подкаталог компилятор-библиотеки of
стандартную библиотеку в путь поиска.

-импл имя файла
Скомпилируйте файл имя файла как файл реализации, даже если его расширение не
.мл.

-intf имя файла
Скомпилируйте файл имя файла как интерфейсный файл, даже если его расширение не .mli.

-intf-суффикс string
Распознавайте имена файлов, заканчивающиеся на string как файлы интерфейса (вместо стандартных
.мли).

-keep-документы
Храните строки документации в сгенерированных файлах .cmi.

-keep-локации
Сохраняйте местоположения в сгенерированных файлах .cmi.

-метки
Ярлыки не игнорируются в типах, ярлыки могут использоваться в приложениях и снабжены ярлыками.
параметры можно указывать в любом порядке. Это значение по умолчанию.

-linkall
Принудительно связать все модули, содержащиеся в библиотеках. Если этот флаг не установлен
данные модули, на которые нет ссылок, не связаны. При создании библиотеки (опция -a),
установка -linkall опция заставляет все последующие ссылки программ, связанных с этим
библиотека для связывания всех модулей, содержащихся в библиотеке.

-сделать-время выполнения
Создайте собственную систему времени выполнения (в файле, указанном параметром -o) включающий
объектные файлы C и библиотеки, указанные в командной строке. Эта настраиваемая среда выполнения
система может быть использована позже для выполнения исполняемых файлов байт-кода, созданных с опцией
окамлк -использование-время выполнения время выполнения.

-нет-псевдоним-депс
Не записывайте зависимости для псевдонимов модулей.

-нет функции приложения
Деактивирует аппликативное поведение функторов. С этой опцией каждый функтор
приложение генерирует новые типы в своем результате и дважды применяет один и тот же функтор
к тому же аргументу приводит к двум несовместимым структурам.

-нет утверждения
Не компилируйте проверки утверждений. Обратите внимание, что специальная форма утверждать ложный Всегда
скомпилирован, потому что он специально набран. Этот флаг не действует при связывании
уже скомпилированные файлы.

-нет автоссылки
При компоновке библиотек .cma игнорируйте -Custom, -cclib и -ccopt варианты потенциально
содержащиеся в библиотеках (если эти параметры были указаны при сборке
библиотеки). Это может быть полезно, если библиотека содержит неверные спецификации C
библиотеки или опции C; в этом случае при связывании установите -нет автоссылки и передать
исправьте библиотеки C и параметры в командной строке.

-без меток
Игнорируйте необязательные метки в типах. Ярлыки нельзя использовать в приложениях, и
порядок параметров становится строгим.

-nostdlib
Не добавлять автоматически каталог стандартной библиотеки в список каталогов.
искал скомпилированные файлы интерфейса (.cmi), файлы скомпилированного объектного кода (.cmo),
библиотеки (.cma) и библиотеки C, указанные с помощью -cclib -lххх . Также вариант
-I.

-o exec-файл
Укажите имя выходного файла, созданного компоновщиком. Имя вывода по умолчанию
is а. выход, в соответствии с традициями Unix. Если -a дана опция, укажите
название созданной библиотеки. Если -упаковка дана опция, укажите название
полученного упакованного объектного файла. Если -выход-объект дана опция, укажите
имя создаваемого выходного файла. Это также можно использовать при компиляции
интерфейс или файл реализации, без ссылки, и в этом случае он устанавливает имя
файла cmi или cmo, а также устанавливает имя модуля для имени файла до
первая точка.

-открыть модуль
Открывает данный модуль перед обработкой файлов интерфейса или реализации. Если
несколько -открыть приведены варианты, они обрабатываются по порядку, как если бы
заявления открыты! module1 ;; ... открытым! moduleN ;; были добавлены вверху каждого файла.

-выход-объект
Заставить компоновщик создать объектный файл C вместо исполняемого файла с байт-кодом.
Это полезно для обертывания кода OCaml как библиотеки C, которую можно вызывать из любой программы C. В
имя выходного объектного файла должно быть установлено с -o вариант. Эта опция также может
использоваться для создания исходного файла C (расширение .c) или скомпилированного общего / динамического
библиотека (расширение .so).

-упаковка Создайте объектный файл байт-кода (файл .cmo) и связанный с ним скомпилированный интерфейс.
(.cmi), который объединяет объектные файлы, заданные в командной строке, заставляя их отображаться
как подмодули выходного файла .cmo. Имя выходного файла .cmo должно быть
данный с -o вариант. Например, окамлк -упаковка -o п.смо а.кмо б.смо c.cmo
генерирует скомпилированные файлы p.cmo и p.cmi, описывающие модуль компиляции, имеющий три
подмодули A, B и C, соответствующие содержимому объектных файлов a.cmo,
b.cmo и c.cmo. На это содержимое можно ссылаться как на PA, PB и PC в
остаток программы.

-pp команду
Заставить компилятор вызвать данный команду как препроцессор для каждого источника
файл. Выход команду перенаправляется в промежуточный файл, который
составлен. Если ошибок компиляции нет, промежуточный файл удаляется
после. Имя этого файла состоит из базового имени исходного файла.
с расширением .ppi для файла интерфейса (.mli) и .ppo для реализации
(.ml) файл.

-ппкс команду
После синтаксического анализа пропустите абстрактное синтаксическое дерево через препроцессор. команду,
модуль Ast_mapper(3) реализует внешний интерфейс препроцессора.

-главный
Проверьте информационный путь во время проверки типов, чтобы убедиться, что все типы
получены принципиальным образом. При использовании помеченных аргументов и / или полиморфных
методы, этот флаг необходим, чтобы гарантировать, что будущие версии компилятора будут
может правильно определять типы, даже если внутренние алгоритмы меняются. Все программы
принято в -главный mode также принимаются в режиме по умолчанию с эквивалентным
типы, но разные двоичные сигнатуры, и это может замедлить проверку типов; пока что
рекомендуется использовать его один раз перед публикацией исходного кода.

-ректипы
Разрешить произвольные рекурсивные типы во время проверки типов. По умолчанию только рекурсивный
поддерживаются типы, в которых рекурсия проходит через тип объекта. Обратите внимание, что однажды
вы создали интерфейс с этим флагом, вы должны использовать его снова для всех
зависимости.

-runtime-вариант суффикс
Добавить суффикс к имени библиотеки времени выполнения, которая будет использоваться программой. Если
OCaml был настроен с опцией -с-отладкой-время выполнения, то d суффикс
поддерживается и предоставляет отладочную версию среды выполнения.

-safe-строка
Обеспечьте разделение между типами string и байт, тем самым делая строки читаемыми -
Только. Это станет значением по умолчанию в будущей версии OCaml.

-короткие пути
Когда тип виден под несколькими путями модуля, используйте самый короткий, когда
печать имени типа в предполагаемых интерфейсах и сообщениях об ошибках и предупреждениях.

-строгая последовательность
Заставьте левую часть каждой последовательности иметь тип unit.

-нить
Компиляция или компоновка многопоточных программ в сочетании с системными "нитями"
библиотека, описанная в Команда OCaml пользователя Посмотреть руководство.

- небезопасно
Отключите проверку границ для доступа к массивам и строкам ( v. (i)иs. [i]
конструкции). Программы, скомпилированные с - небезопасно поэтому немного быстрее, но
небезопасно: все может случиться, если программа обращается к массиву или строке за пределами
его границы.

-unsafe-строка
Определить типы string и байт, тем самым делая строки доступными для записи. По причинам
обратной совместимости, на данный момент это значение по умолчанию, но это
изменится в будущей версии OCaml.

-использование-время выполнения время выполнения
Создать исполняемый файл с байт-кодом, который может быть выполнен в пользовательской среде выполнения.
система время выполнения, построенный ранее с окамлк -сделать-время выполнения время выполнения.

-v Выведите номер версии компилятора и расположение стандартной библиотеки.
каталог, затем выйдите.

-подробный
Распечатайте все внешние команды перед их выполнением, в частности, вызовы
компилятор C и компоновщик в -Custom режим. Полезно для отладки проблем библиотеки C.

-vmthread
Компилировать или связывать многопоточные программы в сочетании с потоками уровня ВМ.
библиотека, описанная в Команда OCaml пользователя Посмотреть руководство.

-vnum or -версия
Выведите номер версии компилятора в краткой форме (например, «3.11.0»), затем выйдите.

-w список предупреждений
Включить, отключить или пометить как фатальные предупреждения, указанные в аргументе
список предупреждений.

Каждое предупреждение может быть включен or инвалид, и каждое предупреждение может быть роковойor несмертельный.
Если предупреждение отключено, оно не отображается и никак не влияет на компиляцию.
способом (даже если он фатальный). Если предупреждение включено, оно обычно отображается
компилятор всякий раз, когда его запускает исходный код. Если он включен и является фатальным,
компилятор также остановится с ошибкой после ее отображения.

Команда список предупреждений аргумент - это последовательность спецификаторов предупреждений без разделителей
между ними. Спецификатор предупреждения может быть одним из следующих:

+Num Включить номер предупреждения Num.

-Num Отключить номер предупреждения Num.

@Num Включить и пометить как фатальное предупреждение Num.

+num1..num2 Включить все предупреждения между num1 и num2 (включительно).

-num1..num2 Отключить все предупреждения между num1 и num2 (включительно).

@num1..num2 Включить и пометить как фатальные все предупреждения между num1 и num2
(включительно).

+письмо Включите набор предупреждений, соответствующий письмо. Письмо может быть
прописные или строчные буквы.

-письмо Отключить набор предупреждений, соответствующий письмо. Письмо может быть
прописные или строчные буквы.

@письмо Включить и пометить как фатальные набор предупреждений, соответствующих письмо.
Буква может быть в верхнем или нижнем регистре.

Прописная буква Включите набор предупреждений, соответствующий Прописная буква.

строчная буква Отключить набор предупреждений, соответствующий строчная буква.

Номера предупреждений следующие.

1 подозрительный знак начала комментария.

2 Подозрительный знак конца комментария.

3 Устаревшая функция.

4 Хрупкое сопоставление с образцом: сопоставление, которое останется полным, даже если
дополнительные конструкторы добавляются к одному из сопоставленных типов вариантов.

5 Частично примененная функция: выражение, результат которого имеет тип функции и
игнорируются.

6 Этикетка отсутствует в функциональном приложении.

7 Метод переопределен без использования "метода!" ключевое слово

8 Частичное совпадение: пропущенные случаи в сопоставлении с образцом.

9 Отсутствующие поля в шаблоне записи.

10 Выражение в левой части последовательности, не имеющей типа Ед. изм
(и это не функция, см. предупреждение № 5).

11 Избыточный регистр в сопоставлении с образцом (неиспользованный регистр сопоставления).

12 Избыточный подшаблон в сопоставлении с образцом.

13 Переопределение переменной экземпляра.

14 Недопустимый экранирование обратной косой черты в строковой константе.

15 Частный метод неявно обнародован.

16 Неустранимый необязательный аргумент.

17 Необъявленный виртуальный метод.

18 Неосновной тип.

19 Типа без княжества.

20 Неиспользуемый аргумент функции.

21 Невозвратная выписка.

22 Предупреждение препроцессора.

23 Бесполезная запись пункт.

24 Неверное имя модуля: имя исходного файла не является допустимым именем модуля OCaml.

25 Сопоставление с образцом с соблюдением всех условий.

26 Подозрительная неиспользуемая переменная: неиспользуемая переменная, связанная с позволять or asи
не начинается с символа подчеркивания (_).

27 Безобидная неиспользуемая переменная: неиспользуемая переменная, не связанная с позволять ни as,
и не начинается с символа подчеркивания (_).

28 Шаблон содержит константный конструктор, применяемый к подчеркиванию (_)
шаблону.

29 В строковой константе обнаружен конец строки без экранирования. Это может вызвать
проблемы переносимости между Unix и Windows.

30 Две метки или конструкторы с одинаковыми именами определяются в двух взаимно
рекурсивные типы.

31 Модуль связан дважды в одном и том же исполняемом файле.

32 Объявление неиспользованного значения.

33 Неиспользованная открытая выписка.

34 Объявление неиспользуемого типа.

35 Неиспользуемый индекс цикла for.

36 Неиспользуемая переменная-предок.

37 Неиспользуемый конструктор.

38 Неиспользуемый конструктор расширения.

39 Неиспользуемый флаг rec.

40 Имя конструктора или метки используется вне области видимости.

41 Неоднозначное имя конструктора или метки.

42 Однозначное имя конструктора или метки.

43 Необязательная этикетка применяется как необязательная.

44 Оператор Open заменяет уже определенный идентификатор.

45 Оператор Open затеняет уже определенную метку или конструктор.

46 Ошибка в переменной окружения.

47 Недопустимая полезная нагрузка атрибута.

48 Неявное исключение необязательных аргументов.

49 Отсутствует файл cmi при поиске псевдонима модуля.

50 Неожиданный комментарий к документации.

Буквы обозначают следующие наборы предупреждений. Любое письмо, не упомянутое
здесь соответствует пустому множеству.

A все предупреждения

C 1, 2

D 3

E 4

F 5

K 32, 33, 34, 35, 36, 37, 38, 39

L 6

M 7

P 8

R 9

S 10

U 11, 12

V 13

X 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 30

Y 26

Z 27

Значение по умолчанию: -w +a-4-6-7-9-27-29-32..39-41-42-44-45-48-50, Обратите внимание, что
предупреждение 5 и 10 не всегда срабатывают, в зависимости от внутреннего устройства типа
шашка.

-предупреждение-ошибка список предупреждений
Пометить как ошибки предупреждения, указанные в аргументе список предупреждений. Компилятор
остановится с ошибкой при появлении одного из этих предупреждений. В список предупреждений
имеет то же значение, что и -w вариант: а + знак (или заглавная буква) знаки
соответствующие предупреждения как фатальные, - знак (или строчная буква) переворачивает их
обратно в несмертельные предупреждения, а @ знак как разрешающий, так и помечающий как фатальный
соответствующие предупреждения.

Примечание: не рекомендуется использовать -предупреждение-ошибка опция в производственном коде,
потому что это почти наверняка предотвратит компиляцию вашей программы с более поздними версиями
OCaml, когда они добавляют новые или изменяют существующие предупреждения.

Значение по умолчанию: -предупреждение-ошибка -a (все предупреждения несмертельны).

-предупреждение-помощь
Показать описание всех доступных номеров предупреждений.

-где Распечатайте расположение стандартной библиотеки и выйдите.

- файл Разработка файл в качестве имени файла, даже если оно начинается с символа тире (-).

-Помощь or --Помогите
Отобразите краткую сводку использования и выйдите.

Используйте ocamlc.opt в Интернете с помощью сервисов onworks.net