Блог OCaml

Сборка компилятора O'Caml из исходников

Проблема состоит в том, что рантайм-библиотеки O'Caml (которые входят в бинарный дистрибутив) собраны с использованием библиотек VS2005. В результате, в моем обычном окружении (часть заголовков и библиотек от VC6), нативные модули O'Caml не собираются – валится линковка на security_cookie и прочей ботве из VC8. В принципе, можно было бы забить на это дело и собирать в стандартном окружении для VS2005. При связывании O'Caml с C++ в принципе нет потенциальных граблей с выделением памяти в одном модуле и освобождении в другом – языки сильно разные, поэтому там даже мысли не возникает насчет подобной работы с памятью :). Однако, есть пара соображений против подобного «забивания»:

• Может появиться зависимость от рантайм-библиотек VC8. Пустячок, но неприятно: придется вместе с программой распространять и библиотеки VC8. А это не всегда просто, ибо на смену dll-hell пришел manifest-hell. :)
• Если в проекте будет смесь из объектных файлов C++ и O'Caml, то собирать подобный конгломерат будет довольно утомительно: часть файлов собирать с одними настройками Студии, а часть с другими. Или какую-то часть собирать из командной строки.

Поэтому, думаю, умение собирать O'Caml при помощи ICC + хедеры и либы от VC6 будет небесполезным.

Получение нужных компонентов

Скачать O'Caml можно отсюда: http://caml.inria.fr/ocaml/release.en.html
Для сборки понадобится “Source tarball”. Кстати, можно еще скачать собранные бинарники – они тоже небесполезны.

O'Caml использует TCL/TK версии 8.4. Взять можно здесь: http://www.activestate.com/products/ActiveTcl/

Сборка происходит в среде CygWin. Взять можно здесь: http://www.CygWin.com/

Подготовка к сборке

• Для определенности будем считать, что исходники распакованы в каталоге D:\OCaml\ocaml-3.10.2.
• Пусть TCL будет установлен в каталог D:\Tcl.

Установка CygWin

При установке CygWin устанавливается только минимальный набор пакетов, недостаточный для сборки. Сверх минимального набора пакетов нам понадобится только пакет “make”.

При сборке в CygWin будет обламываться линковка из-за того, что в CygWin входит утилита link.exe, которая скрывает link.exe от Студии. Проблему можно решить модификацией переменной PATH – поставить пути к Студии раньше, чем пути к CygWin/bin. Я решил проблему проще: переименовал CygWin'овый link :)

Модификация CygWin.bat. Для подготовки среды сборки нужно установить ряд переменных окружения типа PATH, LIB и INCLUDE. Т.к. я не силен работе с линуксовой командной строкой, то вместо настройки из CygWin я просто модифицировал стартовый файл CygWin – CygWin.bat. Я просто добавил туда содержимое vsvars32 и iclvars из Студии и ICC. К переменной LIB нужно дополнительно добавить путь к библиотекам TCL: D:/Tcl/lib.

После настройки CygWin, запускаем ее и выполняем, согласно инструкции, следующие подготовительные команды:
cd /cygdrive/d/Ocaml/ocaml-3.10.2 cp config/m-nt.h config/m.h cp config/s-nt.h config/s.h cp config/Makefile.msvc config/Makefile

Настройка makefile

В каталоге D:\OCaml\ocaml-3.10.2\config необходимо отредактировать makefile:

• Установить переменную PREFIX – путь, куда установить собранный O'Caml. Я указал D:/OCaml.
• Установить переменную TK_ROOT – путь, куда установлен TCL. Указываем: D:/Tcl.
• Заменить вызовы cl на вызовы icl. Т.е. компиляция будет происходить не встроенным в Студию компилятором, а ICC.

Обработка напильником исходников O'Caml

Допиливание связано с тем, что make обламывается на переводах строки в стиле Windows – оно ожидает их в линуховом формате. Возможно, здесь я сам прокосячил – при установке CygWin выдается запрос какие переводы строк следует поддерживать. Linux-формат стоял как “recommended”, поэтому я его и выбрал.

Итак, допилить нужно следующие файлы:

• d:\ocaml\ocaml-3.10.2\byterun\version.h – на него вообще выдается “Mac file format detected” – неправильный перенос строки там виден невооруженным взглядом.
• Файлы stdlib\Compflags и \build\*.* – замену можно сделать Фаром: открыть файл и по Shift-F2 сохранить с требованием использовать переводы строки в стиле Линукса.

Сборка

Просто выполняем в CygWin команды по инструкции:
make -f Makefile.nt world make -f Makefile.nt bootstrap make -f Makefile.nt opt make -f Makefile.nt opt.opt make -f Makefile.nt install

Проверка

Запускаем из командной строки все необходимые батники для установки переменных окружения и запускаем на компиляцию вот этот учебный пример:
type key = Plus | Minus | Times | Div | Equals | Digit of int | Store | Recall | Clear | Off ;; exception Invalid_key ;; let translation c = match c with '+' -> Plus | '-' -> Minus | '*' -> Times | '/' -> Div | '=' -> Equals | 'C' | 'c' -> Clear | 'M' -> Store | 'm' -> Recall | 'o' | 'O' -> Off | '0'..'9' as c -> Digit ((Char.code c) - (Char.code '0')) | _ -> raise Invalid_key ;; type state = { mutable lcd : int; (* last computation done *) mutable lka : bool; (* last key activated *) mutable loa : key; (* last operator activated *) mutable vpr : int; (* value printed *) mutable mem : int (* memory of calculator *) };; exception Key_off ;; let transition s key = match key with Clear -> s.vpr <- 0 | Digit n -> s.vpr <- ( if s.lka then s.vpr*10+n else n ); s.lka <- true | Store -> s.lka <- false ; s.mem <- s.vpr | Recall -> s.lka <- false ; s.vpr <- s.mem | Off -> raise Key_off | _ -> let lcd = match s.loa with Plus -> s.lcd + s.vpr | Minus -> s.lcd - s.vpr | Times -> s.lcd * s.vpr | Div -> s.lcd / s.vpr | Equals -> s.vpr | _ -> failwith "transition: impossible match" in s.lcd <- lcd ; s.lka <- false ; s.loa <- key ; s.vpr <- s.lcd;; let go () = let state = { lcd=0; lka=false; loa=Equals; vpr=0; mem=0 } in try while true do try let input = translation (input_char stdin) in transition state input ; print_newline () ; print_string "result: " ; print_int state.vpr ; print_newline () with Invalid_key -> () (* no effect *) done with Key_off -> () ;; go ();;

командой
ocamlopt.opt.exe CalcImper.ml
Если все сделано правильно, то на выходе получим полностью самостоятельный EXE размером 335К. Тогда как EXE, собранный студийным компилятором, весит, примерно, 275К. Признаки компилятора Интел налицо :)

Примечания

Возможно, люди, которые лучше разбираются с командной строкой Линукса, могли бы предложить более прямой способ сборки. Мне же CygWin был нужен только для сборки, поэтому я с ним особо не церемонился.

Реально для сборки программ на O'Caml нужны только пересобранные рантайм-библиотеки, а не вообще весь компилятор, его рантайм и прикладные библиотеки. Вероятно, существует более простой способ, которым можно собрать только рантайм-библиотеки.

Ссылок на эту страницу нет