Objective Caml - Четверг, 10 мая 2012

Objective Caml

ocaml@conference.jabber.ru

Четверг, 10 мая 2012< ^ >

Конфигурация комнаты

Участники комнаты

GMT+4
[00:03:56] tilarids вошёл(а) в комнату
[00:21:50] tilarids вышел(а) из комнаты
[00:31:08] shaggie вошёл(а) в комнату
[00:31:29] shaggie вышел(а) из комнаты
[00:43:42] ermine вышел(а) из комнаты
[01:18:31] <f[x]> можно и так, результат ocamldep по-моему также испольщуется
[03:10:47] ftrvxmtrx вышел(а) из комнаты
[03:12:08] f[x] вышел(а) из комнаты: Computer went to sleep
[03:20:20] Typhon вошёл(а) в комнату
[03:37:04] letrec вошёл(а) в комнату
[03:39:25] <gds> f[x]: видимо не совсем так же, но очень похоже.  Вот в чём проблема: начал говнокодить и встретил лажу (конкретно в .v, но предрекаю подобную лажу при подобном подходе и в .ml): чтобы получить зависимости, надо запускать {ocaml,coq}dep в директории, содержащей полные исходники, как раз затем, чтобы нужные .{ml,v}-файлы скопировать в _build/ и там дальше надругиваться над ними.  Потому что если запускать *dep в _build, явно не хватит файлов, и ocamlbuild не будет знать, какие из файлов исходного дерева копировать в _build.  Видимо, ocamldep запускается таки на дереве с оригинальными исходниками.
Понятно, в эти мелочи мало кто вникал, но, может, направление есть?  Например, посмотреть на ml-related правила в ocamlbuild?
Сейчас моск выеден реаллайфом, на этих проблемах пока остановлюсь, жду ответа как солололовей лета.
[04:28:58] letrec вышел(а) из комнаты
[06:51:18] ermine вошёл(а) в комнату
[09:16:09] ftrvxmtrx вошёл(а) в комнату
[09:28:25] tilarids вошёл(а) в комнату
[10:14:25] Sun][ вошёл(а) в комнату
[10:18:55] ftrvxmtrx вышел(а) из комнаты
[10:59:55] ftrvxmtrx вошёл(а) в комнату
[12:01:58] <f[x]> dep выводит список депов для файла - ему не нужно ничего кроме одного файла - так как список депов чисто синтаксически определяется
[12:03:10] <f[x]> ocamlbuild собирает таргет - находит его депы - копирует депы - собирает всё что может и далее рекурсивно
[12:17:42] Typhon вышел(а) из комнаты
[12:53:41] tilarids вышел(а) из комнаты: Computer went to sleep
[12:59:07] bobry вошёл(а) в комнату
[13:13:00] dzhon вошёл(а) в комнату
[13:18:15] ltt вошёл(а) в комнату
[13:20:09] ltt вышел(а) из комнаты
[13:24:05] letrec вошёл(а) в комнату
[13:26:22] Typhon вошёл(а) в комнату
[13:42:15] klapaucius вошёл(а) в комнату
[13:50:14] Kakadu вошёл(а) в комнату
[14:03:49] <Kakadu> ура, я сдал последний экзамен
[14:06:25] akovbovich вошёл(а) в комнату
[14:12:22] akovbovich вышел(а) из комнаты
[14:25:30] <gds> f[x]: проверил, да, различия есть, coqdep хочет видеть всё и сразу.  Тогда план такой: получить список include-директорий, при Before_rules запустить coqdep (-I директория)* (директория/*.v)* > _build/coqdeps (выражение "(...)*" тут в смысле регекспов), далее терзать _build/coqdeps при компиляции каждого .v.  По идее, прокатит?  А как бы получить список include-директорий (хотя бы куда смотреть)?
[15:04:05] <f[x]> про инклуды хз
[15:12:56] tilarids вошёл(а) в комнату
[15:21:37] <gds> !Options.include_dirs.  rtfs, мать его.
[15:27:33] dzhon вышел(а) из комнаты
[15:28:17] dzhon вошёл(а) в комнату
[15:32:12] komar вошёл(а) в комнату
[16:12:02] akovbovich вошёл(а) в комнату
[16:16:25] klapaucius вышел(а) из комнаты
[16:21:09] komar вышел(а) из комнаты
[16:25:45] <bobry> Kakadu: grats, приходи к нам собеседоваться :)
[16:25:57] <Kakadu> ещё Диплом
[16:30:57] komar вошёл(а) в комнату
[16:41:34] <Kakadu> bobry: ты своё написал?
[16:42:34] ftrvxmtrx вышел(а) из комнаты
[16:42:44] ftrvxmtrx вошёл(а) в комнату
[16:44:04] komar вышел(а) из комнаты: Replaced by new connection
[16:44:04] komar вошёл(а) в комнату
[16:44:10] <bobry> Kakadu: неа, нефига не успеваю — в начале июня уже защита
[16:44:21] <Kakadu> я тоже нихрена не делаю
[16:45:13] <Typhon> bobry, Kakadu https://twitter.com/#!/ebany_diplom
[16:46:18] <bobry> :)
[16:46:30] <bobry> да не, мнен нравится, просто времени не хватает чтобы толком все запилить
[17:32:39] <f[x]> в irc почившую в бозе барбру потрошат
[17:36:01] <bobry> сукиж
[17:37:41] <f[x]> эволюция
[17:37:47] <f[x]> большие кушают лузеров
[17:43:56] <Kakadu> bobry:
xxx: Иногда мне кажется что все великие дела совершили люди, которым очень не хотелось писать диплом...
[17:45:54] <bobry> :)
[17:57:33] Sun][ вышел(а) из комнаты
[17:57:43] <gds> f[x]: и чо, к какому вердикту пришли в ирц?  "нефиг говно плодить"?
[18:04:36] <f[x]> я не в теме
[18:04:56] <f[x]> заимплементили в odb "фиксированный список пакетов с версиями"
[18:19:39] <Kakadu> bobry: надеюсь у тебя в дипломе ожидаемые формулы с первой страницы совпадут с выкладками на 30й
[18:22:31] <bobry> Kakadu: у меня не диплом — так, курсовик sort-of
[18:22:49] <bobry> и формул там немного, и камла пока нет :)
[18:29:06] <Kakadu> bobry: А ты в "Свою игру" никогда не пробовал овощить?
[18:31:00] <bobry> в смысле?
[18:31:05] <bobry> смотреть-смотрел
[18:31:09] <Kakadu> Ну вот
[18:31:20] <Kakadu> А сам в подобное не овощил?
[18:32:26] <bobry> неа, никогда не пробовал — разве что в школе что-то похожее было периодически
[18:32:27] <bobry> why?
[18:41:58] Kakadu вышел(а) из комнаты
[18:48:58] <gds> ничо не понимаю.  ocamlbuild делает вот что: создаёт ml/mli файлы на основании .v, запускает
/home/gds/dev/ovm/ocaml/bin/ocamldep.opt -modules Stringkey.mli > Stringkey.mli.depends
, создавая файл из строки "Stringkey.mli: String0", а потом, при отсутствующих String0.cm{i,o,x} сразу делает
/home/gds/dev/ovm/ocaml/bin/ocamlc.opt -c -g -w A -o Stringkey.cmi Stringkey.mli
, конечно же, с результатом "Error: Unbound module String0".
вот зе фак?
[18:57:43] <f[x]> стра
[19:00:56] <gds> разобрался, оно почему-то хочет видеть string0.ml[i], но у меня файлы называются String0.ml[i].
[19:01:02] <gds> вот это вообще не понимаю.
[19:01:27] <f[x]> хм, что за версия камлобилда?
[19:01:36] <f[x]> это же в куче кода встречается
[19:01:56] <gds> ocamlbuild 3.12.1+rc1
[19:04:25] <gds> f[x]: http://paste.in.ua/4235/ , но странно, что оно их не нашло -- String0.ml[i] есть в _build после фейла компиляции.
[19:05:41] <f[x]> а .vo для него есть?
[19:06:37] f[x] afk
[19:08:22] <gds> f[x]: нет, по String0.* только ml и mli.
[19:13:45] dzhon вышел(а) из комнаты: Replaced by new connection
[19:13:50] dzhon вошёл(а) в комнату
[19:14:06] dzhon вышел(а) из комнаты
[19:41:24] <bobry> а у нас еще два лика
[19:41:26] <bobry> ло-ло
[19:42:05] Kakadu вошёл(а) в комнату
[19:42:22] Kakadu вышел(а) из комнаты
[19:42:29] Kakadu вошёл(а) в комнату
[19:44:47] <Kakadu> про f[x] :D
http://cs317525.userapi.com/v317525973/af0/ybb_eDlBtXA.jpg
[19:49:01] letrec вышел(а) из комнаты
[20:01:09] bobry вышел(а) из комнаты
[20:20:30] <gds> "веселится и ликует хаскель-код"
[20:35:58] akovbovich вышел(а) из комнаты
[20:58:55] bobry вошёл(а) в комнату
[20:59:41] <bobry> gds: еще как, так глядишь к приходу Kakadu все полюбят камл
[21:11:50] Sun][ вошёл(а) в комнату
[21:20:29] ftrvxmtrx вышел(а) из комнаты
[21:39:46] Typhon вышел(а) из комнаты
[22:08:52] tilarids вышел(а) из комнаты: Computer went to sleep
[22:15:12] Sun][ вышел(а) из комнаты
[22:15:19] Sun][ вошёл(а) в комнату
[22:26:35] ftrvxmtrx вошёл(а) в комнату
[22:48:43] Typhon вошёл(а) в комнату
[22:59:31] Savik вошёл(а) в комнату
[23:06:26] ermine вышел(а) из комнаты