Objective Caml - Суббота, 17 марта 2012

Objective Caml

ocaml@conference.jabber.ru

Суббота, 17 марта 2012< ^ >

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

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

GMT+4
[00:26:59] bobry вышел(а) из комнаты
[01:02:25] komar вышел(а) из комнаты: Replaced by new connection
[01:02:25] komar вошёл(а) в комнату
[01:22:10] Kakadu вышел(а) из комнаты
[02:09:19] komar вышел(а) из комнаты
[02:09:23] komar вошёл(а) в комнату
[02:31:12] Typhon вошёл(а) в комнату
[02:41:42] ftrvxmtrx вошёл(а) в комнату
[02:58:29] komar вышел(а) из комнаты: Replaced by new connection
[02:58:29] komar вошёл(а) в комнату
[03:07:09] komar вышел(а) из комнаты: Replaced by new connection
[03:07:10] komar вошёл(а) в комнату
[03:38:42] Typhon вышел(а) из комнаты
[04:49:07] komar вышел(а) из комнаты: Replaced by new connection
[04:49:08] komar вошёл(а) в комнату
[06:23:10] letrec вошёл(а) в комнату
[11:16:07] Kakadu вошёл(а) в комнату
[12:06:15] ermine вошёл(а) в комнату
[12:54:15] <ermine> ну шо?
[12:55:03] <Kakadu> сделал ad-hoc решение. но почему оно не работало я не понял
[12:55:08] <Kakadu> надо напрячься
[12:56:08] <Kakadu> pull
[12:58:53] <ermine> а у меня coq тоже не хочет видеть gmake и требует установки gnu make
[13:02:51] Typhon вошёл(а) в комнату
[13:10:38] <ermine> оно блин хочет camlp5
[13:10:49] <ermine> а в барабаре оно есть?
[13:11:41] <ermine> нэту, вот подскака что можно добавить в базу
[13:18:56] <ermine> Kakadu: а какой командой барбе сказать поставить либлу из рецептов?
[13:19:17] <Kakadu> можешь прописать либлу в brb.conf
[13:19:27] <Kakadu> ну там ещё install есть
[13:19:37] <Kakadu> но только bobry знает как оно работает
[13:20:35] <ermine> не, нужна команда brb build/install package, пусть его из рецептов и берет
[13:21:03] <Kakadu> ./brb.byte install core
[13:21:25] <ermine> Kakadu: а еще я говорила bobry, что лучше dep libname без аргументов чем dep libname recipe "default"
[13:22:10] <Kakadu> а я только могу догадываться что recipe "default" означает
[13:23:13] <Kakadu> ааа, ну понятно
[13:23:21] <Kakadu> ermine: ну ридме надо читать
[13:23:28] <Kakadu> aaaa
[13:23:31] <Kakadu> понял
[13:23:33] <ermine> Kakadu: brb install core не работает, ибо в текущем каталоге нет конфига барбары
[13:23:57] ermine орет "нужен package manager!!!"
[13:24:12] <ermine> gds: спишь?
[13:29:53] <gds> ermine: ет.
[13:29:53] <ermine> camlp5 барбарой собирается
[13:30:10] <ermine> и оно его инсталлит сразу туда где рутовые права нужны
[13:30:23] <Kakadu> ermine: я тоже это понял, пофиксил, сейчас тестю
[13:30:57] <Kakadu> вот. сцуко
[13:35:31] <ermine> кого? camlp5?
[13:35:58] <Kakadu> да
[13:36:02] <Kakadu> там нетривиально
[13:36:21] <ermine> а если поставишь в рецепт $MAKE install, то перестанет работать :) пойду пока выполню sudo brb install, пока все чудесно работает
[13:38:28] <ermine> прикольно
[13:38:34] <ermine> оно под sudo не работает
[13:38:50] <ermine> хочет /root/.brb
[13:39:08] <Kakadu> а ты как запускала?
[13:40:01] <ermine> sudo brb build
[13:40:17] <ermine> уже поставила руками
[13:41:18] <ermine> эм, в camlp5 надо еще натив компилить
[13:41:44] <ermine> make opt
[13:42:22] <Kakadu> dep camlp5 remote "http://pauillac.inria.fr/~ddr/camlp5/distrib/src/camlp5-6.05.tgz"
  Build "$MAKE world.opt"
  INSTALL "$MAKE install DESTDIR=$dep_dir LIBDIR=/lib BINDIR=/bin"
[13:42:25] <Kakadu> у тебя так?
[13:42:56] <ermine> так, coq хочет еще hevea
[13:43:23] <gds> hevea чистл для док, может отключаемо.
[13:43:42] <ermine> у меня только emote было прописано, всё остальное руками - зашла в _dep и добила
[13:43:53] <Kakadu> короче  я пушаю конфиг камль пэ пьять
[13:44:21] <ermine> gds: ну я просто использую сборку coq как повод пополнения базы рецептов
[13:44:39] <Kakadu> ermine: если коки соберутся, ты подпушишь?
[13:44:46] <ermine> gds: ибо депендсы камлевые
[13:45:28] <ermine> Kakadu: ну можно, пока что надо собрать hevea :)
[13:46:15] <ermine> gds: ты б лучше чонить подправил в политике работы барбары, а то к моему конкретному случаю не прикладывается
[13:47:32] <ermine> коки еще lablgtk2 требует, он у меня уже стоит
[13:48:38] <ermine> о, рецепт lablgtk же есть
[13:48:48] <gds> ermine: про политику -- не могу влезать, мозга нет на это.  есть куча дел по работе (даже в шаббат), есть куча дел в реаллайфе.
[13:49:51] <ermine> а, это не lablgtk2
[13:51:39] <ermine> gds: куча дел в реаллайфе - это кода детей много :)
[13:52:15] <gds> ermine: у меня как раз с этим и связаны дела -- через пару дней еду забирать жену с двумя детьми, а до этого надо много чего сделать.
[13:55:50] shaggie вошёл(а) в комнату
[14:07:55] <ermine> вспоминая ходжу насреддина - надо починить калитку и покрасить забор
[14:14:00] <ermine> Kakadu: dep hevea remote "http://hevea.inria.fr/distri/hevea-1.10.tar.gz"
[14:31:29] <ermine> coq не собирается, какая-то фенька unbound
[14:33:20] <ermine> Error: Unbound constructor Stdpp.Exc_located
[14:34:43] <ermine> похоже на старую версию camlp4
[14:52:42] <ermine> придецо пока забить на coq
[14:53:05] <ermine> даже в портах фрибсд он помечен как BROKEN "does not build"
[15:01:14] <ermine> Kakadu: в плане развития рецептов хотелось бы видеть возможность ставить либлу конкретной версии и патчи к конкретным операционкам, а для этого надо модуль, который будет уметь вычислять рецепт
[15:02:05] <ermine> и вместо remote "полный урл к тарбалу" ставить remote урл без тарбала и отдельно дефолтный тарбал в другой переменной
[15:02:26] <ermine> gds: ага?
[15:02:57] <Kakadu> ermine: запили багу, а то я забуду, не пойму или ещё найду способ не делать
[15:03:26] <gds> ermine: а я почём знаю.  но про разделение урла на несколько частей -- не нравится.
[15:03:47] <ermine> gds: ты вроде был идеологом проекта
[15:04:25] letrec вышел(а) из комнаты
[15:05:08] <ermine> gds: поэтому скажи как я бы собрала coq с другой версией camlp5, если ничо не знаю про урл
[15:06:58] <ermine> gds: кстати, а какая версия camlp5 у тебя?
[15:07:54] <ermine> Kakadu: не могу запилить ничо, пока gds недоволен :)
[15:08:41] <ermine> Kakadu: а какая текущая задача у тебя в барбре?
[15:08:47] <gds> ermine: идеологом был давно, с тех пор многое поменяли.
урл на друую версию camlp5 должен быть прописан в инструкциях к сборке конкретной версии конкретной софтины, в данном случае, той версии coq, которую ты собираешь.
[15:10:20] <ermine> удебительно
[15:14:15] <Kakadu> ermine: нашла что спросить
[15:25:54] <gds> ermine: действительно ли так интересно заниматься сборкой софта вместо того, чтобы просто использовать его?
[15:27:31] <Kakadu> gds: действительно. Я вот испытываю необычайные ощущения, когда вижу как софт собирается из исходников. Муто магию какую-то наблюдаю, чудо природы
[15:27:33] <ermine> gds: второе идет из первого
[15:28:58] <gds> Kakadu: сам ты, блин, чудо природы в перьях :]
[15:29:17] <gds> ermine: у меня -- нет.  у меня этим занимаются специально-обученные обезьянки.
[15:30:34] <ermine> gds: ты не используешь грязный софт, т.е. из репок
[15:31:20] <ermine> грязный софт - истинный софт для истинных разработчиков, а релизы используют только истинные юзеры
[15:31:23] <gds> ermine: изредка -- использую, тот же typerex.  (и даже камло+камлолибы собираю -- /home/gds/dev/ovm, да.)
[15:31:47] <gds> но зачем собирать руками _весь_ используемый софт?  enjoy nih?
[15:32:23] <ermine> gds: ну вот в примере coq чо делать?
[15:32:43] <ermine> gds: в портах заблокирован, руками втупую не собрался
[15:33:24] <ermine> зато через какаду добавили два рецепта в базу, может, в следующий раз они автоматом соберутся
[15:33:49] <ermine> и автоматом обновятся в системе, когда барбра подрастёт и наберется мозгов
[15:37:37] <ermine> Kakadu: в репецт hevea тоже надо добавить чонить для make install в _dep
[15:38:51] <gds> ermine: в этом примере -- sudo apt-get install coq coqide :]
[15:39:13] <gds> либо спереть патчи из дебилиана, там-то собирается!
[15:40:28] <ermine> gds: у тебя какой версии camlp5?
[15:40:58] <gds> Camlp5 version 6.02.2 (ocaml 3.12.0)
[15:41:12] <gds> но оно само приползло.
[15:41:20] <ermine> хм
[15:41:24] <ermine> а coq?
[15:41:48] <gds> $ coqc -v
The Coq Proof Assistant, version 8.3pl2 (August 2011)
compiled on Aug 25 2011 04:21:44 with OCaml 3.12.0
[15:41:59] <gds> ы, так у меня древний coq :[
[15:43:01] <ermine> ну не особенно древний
[15:44:07] <ermine> о, можно попробовать из меркульной репы
[15:45:24] <gds> ermine: проще спереть нужные версии и патчи из дебиана/убунты и не парить моск.  проблема у тебя явно в несоответствии версий ocaml camlp5 coq.
[15:45:42] <ermine> а еще есть бета
[15:46:56] <Kakadu> дай конфиги для кока, я попробу.ю
[15:51:28] <ermine> а в бете в ./configure добавили аргумент --makecmd <name>
[15:52:36] <ermine> Kakadu: в рецептах нету lablgtk2
[15:53:02] <ermine> похоже coq 8.4 beta таки соберется
[15:53:17] <Kakadu> был
[15:53:47] <ermine> Kakadu: lablgtk или lablgtk2?
[15:54:41] <ermine> а, в урле второй
[16:03:01] <ermine> Kakadu:
dep hevea recipe "default"
dep lablgtk recipe "default"
dep camlp5 recipe "default"
dep coq remote "http://coq.inria.fr/distrib/V8.4beta/files/coq-8.4beta.tar.gz"
  Flag "--makecmd gmake"
[16:03:09] <ermine> оно все еще компилицо
[16:13:37] <Kakadu> ermine: так ты пофиксиля install для hevea?
[16:17:08] <Kakadu> патчем?
[16:23:56] <ermine> Kakadu: нет, json-wheel же не пофиксили
[16:26:07] <Kakadu> ermine: а что с ним. ?
[16:26:51] <Kakadu> умвр
[16:28:31] <ermine> Kakadu: мы на чем остановились прошлой ночью?
[16:29:25] <gds> в общем, подумали.  с _использованием_ окамловского императивного кода у coq есть проблемы, решаемые с трудом.  разве что около-монадным подходом (который, вроде бы, можно чуть облегчить).  ну или linear types, которые не слишком веселее.  вывод: coq -- для чисто-функционального кода.  хотя, в частных случаях, может быть использован императивный код, но надо приблизительно представлять модель, в которой работает coq.
[16:30:48] <Kakadu> ermine: я то уже сегодня пофиксил
[16:30:51] <Kakadu> вернее фиксил
[16:31:17] <ermine> coq обломался собрать доку, чота там в консерватории с tex не так
[16:31:41] <ermine> Kakadu: ща проверю json-wheel
[16:35:47] <Typhon> gds: а на псто нет как комментарий отправить, без регистрации и смс? :)
[16:36:21] <gds> Typhon: без регистрации -- никак :[  говно, знаю.
[16:36:44] <gds> впрочем, регистрация -- одна команда.  и пофиг, что на псто будет твой аккаунт висеть, это некритично.
[16:36:52] <gds> спама нет (кроме ответов тебе).
[16:37:11] <gds> только жаббер-аккаунт нужно иметь.  у тебя есть жаббер-аккаунт? :]
[16:38:04] <ermine> да, пофиксил, gmake больше не запускается
[16:38:41] <Typhon> gds: да вроде бы был :-)
[16:41:41] <gds> Typhon: получилось! :)
[16:43:08] <ermine> как всё грустно
[16:43:21] <ermine> не пожарить ли по такому случаю пиццу
[16:43:45] <Kakadu> ermine: её запекаюют
[16:45:43] <ermine> Kakadu: давай чини багу: ln -s make mymake; export MAKE=mymake и вперед
[16:49:12] gds -> reallife на несколько часов, если чо.
[16:52:51] <ermine> о, так camlp5 не обязателен для coq 8.4, он может и camlp4
[17:05:31] <Kakadu> ermine: пробуй
[17:38:14] ermine пожарила пиццу
[17:44:43] <ermine> Kakadu: подправь рецепты где явный вызов make, щас на ocamlnet сломалось
[17:44:59] Typhon вышел(а) из комнаты
[17:47:39] <Kakadu> ermine: пробуй
[17:51:51] <ermine> о
[17:51:55] <ermine> сульца собралась
[17:52:34] <ermine> и его бинарь лежит в _dep/bin
[17:54:08] <ermine> может конфиг барбары так и закоммитить в репу сульци, будет типа первый проект с поддержкой барбры :)
[17:56:30] <ermine> и coq проинсталлила, удалив hevea
[17:57:18] <ermine> Kakadu: ты все еще не собираешься переименовывать brb.conf в _brb?
[17:57:55] <Kakadu> не сильно надо
[18:01:29] <gds> ermine: следующее -- coqide!  либо emacs-mode "proofgeneral", но с ним хз как работать.
[18:03:05] f[x] вошёл(а) в комнату
[18:06:17] <ermine> запушила в github.com/ermine/sulci
[18:07:15] <ermine> да блин в coqide не хватает черной краски
[18:09:18] <ermine> Kakadu: теперь следующая проблема - куда бы положить патчик для sqlite3 и привязать к os
[18:10:05] <Kakadu> никак не привязать к OS
[18:11:11] <ermine> Kakadu: ну надо доавить в рецепт условности уже, у нас тут gds больше не идеолог, так что будем просто решать бытовые проблемы по мере их возникновения
[18:11:35] <ermine> даже в oasis есть условные операторы
[18:13:08] <gds> Kakadu: правильный подход, именно так и надо.  Вперде!
[18:15:00] ermine воткнула в Kakadu лишнее перо
[18:16:45] <Kakadu> что вы ко мне пристали
[18:17:00] <Kakadu> меня тут попросили написать хрень на быдло языке
[18:17:47] <ermine> на с++?
[18:18:32] <gds> f[x]: "- Fixes a bug in `Xmlm.make_output` with a custom function." -- может это оно и есть, на что ты натыкался.  новый релиз в рассылке пеарят.
[18:20:18] <ermine> gds: а я думала, что xmlm безглючное в силу миниатюрности
[18:21:04] <gds> ermine: я тоже так думал.  Практически даже знал.  И использовал эту либу, и всё работало сразу, без фокусов.  А тут -- вот те на.
[18:21:30] <Kakadu> ermine: haxe
[18:28:04] <f[x]> gds: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=662921 :)
[18:28:16] <ermine> gds: удалила из kmb_lib мутабельный offset
[18:29:53] <gds> f[x]: но там "Thanks to Konstantinas Myalo for the report and the patch."...
[18:31:36] <ermine> не сделаешь патч - никто не похвалит за багрепорт?
[18:35:29] bobry вошёл(а) в комнату
[18:36:12] <ermine> опять в дарксе оазиса изменения, неужто легалл разогнался
[18:38:11] <ermine>   * Prepare release candidate 0.3.0~rc2
[18:40:54] <ermine> надо собрать свежее мясо
[18:54:25] letrec вошёл(а) в комнату
[19:13:45] <f[x]> gds: угу, но он бы так и был в репке пока я не пожаловался
[19:19:46] <gds> f[x]: понял идею.  Какой он злой, этот даниел, я бы багфиксы быстренько релизил, учитывая их количество (xmlm всё-таки более-менее безбажное).  А так, чтобы ждать чего-то -- не знаю, зачем.
[19:34:45] <ermine> Kakadu: а за haxe платють?
[19:34:57] <Kakadu> на работе
[20:22:17] komar вышел(а) из комнаты: Replaced by new connection
[20:22:18] komar вошёл(а) в комнату
[20:45:27] komar вышел(а) из комнаты
[21:01:29] komar вошёл(а) в комнату
[21:36:25] <f[x]> > [ocaml-jobs] Software Development Engineer at OCamlPro (Paris, France)
[21:37:10] <f[x]> gds: почему злой, просто занятой может. у меня вон штук пять либ вообще не релизнутых ни разу - всё никак не соберусь :)
[21:38:40] <f[x]> > ocamlbuild + ocamldep не выдают Syntax error сообщение
ermine, по-моему мы это уже когда-то искали.. не помню точно
[21:43:33] <ermine> f[x]: ага, типа pipe ломается, но не выяснили пчу
[21:44:08] ermine вяло пытается обработать raw html в markdown, пока успешно побежден хтмыльный комментарий
[21:45:02] komar вышел(а) из комнаты: Replaced by new connection
[21:45:03] komar вошёл(а) в комнату
[21:46:48] <ermine> f[x]: интересовало, описан ли этот медицинский случай в мантисе
[21:52:34] letrec вышел(а) из комнаты
[21:58:01] <f[x]> ermine: не находится, ближайшее похожее - PR#5371 но там камлобилда бага та что ты выше упоминала
[22:00:28] bobry вышел(а) из комнаты
[22:06:50] bobry вошёл(а) в комнату
[22:12:47] <ermine> f[x]: там ж дебиан, хотя в принципе похоже
[22:21:07] <ermine> там не написано, что пофиксили
[22:49:25] <bobry> и чего это камло не участвует в GSoC
[22:51:52] <Kakadu> а его год назад послали
[22:53:52] <bobry> куда?
[22:53:57] <bobry> а, черт -- пробовали таки?
[22:54:07] <bobry> а х-ль который код подряд принимают
[22:54:27] <bobry> мне теперь домашку по алгоритмам надо делать на codeforces <_<
[22:57:46] <ermine> на камле быстро не пишут, тем более за три месяца
[23:12:43] komar вышел(а) из комнаты
[23:15:45] komar вошёл(а) в комнату
[23:45:26] komar вышел(а) из комнаты
[23:45:40] komar вошёл(а) в комнату