Objective Caml - Четверг, 24 декабря 2009

Objective Caml

ocaml@conference.jabber.ru

Четверг, 24 декабря 2009< ^ >

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

GMT+3
[00:47:16] <ygrek> каждый раз когда смотрю слайды про кэши cpu -- чуствую себя неандертальцем на сеансе чёрной магии
[01:02:09] ygrek вышел(а) из комнаты
[03:58:53] Typhon вышел(а) из комнаты
[07:16:10] ermine вошёл(а) в комнату
[07:22:20] sceptic вышел(а) из комнаты: Replaced by new connection
[07:22:25] sceptic вошёл(а) в комнату
[07:25:25] sceptic вышел(а) из комнаты: Replaced by new connection
[07:25:30] sceptic вошёл(а) в комнату
[07:47:49] sceptic вышел(а) из комнаты
[08:30:33] iNode вошёл(а) в комнату
[08:58:12] gds вошёл(а) в комнату
[10:05:19] Typhon вошёл(а) в комнату
[10:22:04] f[x] вошёл(а) в комнату
[10:42:24] animist вошёл(а) в комнату
[10:44:42] ygrek вошёл(а) в комнату
[10:46:02] sceptic вошёл(а) в комнату
[10:50:05] <f[x]> новости с фронтов - 3.11.2+rc1 в svn, leroy ковыряет бранч с sse2, weis кодит какой-то новый оператор .^ для структур
[10:56:37] <f[x]> и похоже собираются наконец-таки зарелизить batteries в укороченном виде
[10:57:47] <gds> офигенно!
[10:58:06] <gds> про .^ конкретики не видел?
[11:02:55] animist вышел(а) из комнаты: Replaced by new connection
[11:03:02] animist вошёл(а) в комнату
[11:05:28] <f[x]> там только код, я не осилил :)
[11:06:00] sceptic вышел(а) из комнаты
[11:36:59] sceptic вошёл(а) в комнату
[12:42:33] geovit вошёл(а) в комнату
[14:34:07] Typhon вышел(а) из комнаты
[14:34:13] Typhon вошёл(а) в комнату
[14:34:49] sceptic вышел(а) из комнаты
[14:58:47] sceptic вошёл(а) в комнату
[15:51:34] Typhon вышел(а) из комнаты: Replaced by new connection
[15:51:35] Typhon вошёл(а) в комнату
[16:11:07] ExplicitCall вошёл(а) в комнату
[16:11:13] iakovz вошёл(а) в комнату
[16:11:16] <iakovz> hey
[16:11:22] <gds> yo
[16:11:40] <iakovz> скажите мне есть ли где-нить сборка ocamlp5 под венду? )
[16:12:15] <iakovz> оно мне написало что не может найти libs_ws32 вроде вчера..
[16:12:35] <iakovz> это у меня все есть в mingw по идее
[16:12:49] <gds> конкретно в моей сборке его нет на данный момент. видимо кривые опции линкера выставлены были при сборке, раз оно libs_ws32 хочет.
[16:12:52] <iakovz> но я не шарю как сказать кампайлеру где че искать
[16:13:12] <gds> как оно про ws32 написало?
[16:13:39] <iakovz> када caml.optом все слинковать хотелоъ
[16:13:44] <iakovz> хотело
[16:13:59] <iakovz> камл у мну мингвшный стоит
[16:14:06] <iakovz> с офф сайта
[16:14:24] <iakovz> я тупо хотел собрать coq под венду :-)
[16:14:58] <gds> лично мне нужно было бы видеть команду линковки и ответ на неё, чтобы понять причину.
[16:15:27] <iakovz> ээ да. надо с венды зайти будет. лог не сохранил.
[16:15:55] <iakovz> я просто удивился что в инете нет сборок под венду
[16:16:14] <iakovz> прям хоть и не пробовать это все собирать раз никто до сих пор не собрал-то :-)
[16:17:14] <gds> ну как
[16:17:17] <gds> это нет.
[16:17:19] <iakovz> херово что нет аналога cabal я видел какой-то findlib
[16:17:20] <gds> есть.
[16:17:48] <gds> http://coq.inria.fr/download -- прямо на оф.сайте
[16:17:56] <gds> http://coq.inria.fr/distrib/V8.2pl1/files/coq-8.2pl1-win-1.exe
[16:17:58] <iakovz> хотя даже lblgtk вручную надо копировать чето потом еще докомиливать..
[16:18:01] <iakovz> не-е, это я знаю )
[16:18:11] <iakovz> я имею в виду camlp5
[16:18:36] <gds> аналог cabal -- это, как я понимаю, некий godi. на юниксах работает нормально, на mingw недавно запустили вроде, но не пробовал.
[16:19:00] <gds> findlib -- более низкоуровневая штука.
[17:01:13] geovit вышел(а) из комнаты
[17:05:07] gds вышел(а) из комнаты: Replaced by new connection
[17:05:07] gds вошёл(а) в комнату
[17:28:42] iNode вышел(а) из комнаты
[17:29:23] gds вышел(а) из комнаты
[19:04:14] Typhon вышел(а) из комнаты
[19:04:35] Typhon вошёл(а) в комнату
[19:11:35] iakovz вышел(а) из комнаты
[19:14:03] sceptic вышел(а) из комнаты
[19:14:22] sceptic вошёл(а) в комнату
[19:20:51] iNode вошёл(а) в комнату
[19:22:20] ExplicitCall вышел(а) из комнаты
[19:36:14] f[x] вышел(а) из комнаты
[20:06:38] Typhon вышел(а) из комнаты
[20:12:26] sceptic вышел(а) из комнаты
[21:09:51] ExplicitCall вошёл(а) в комнату
[21:10:05] Typhon вошёл(а) в комнату
[21:19:07] iNode вышел(а) из комнаты
[21:31:54] iNode вошёл(а) в комнату
[21:42:17] sceptic вошёл(а) в комнату
[22:07:28] animist вышел(а) из комнаты: Replaced by new connection
[23:20:41] ExplicitCall вышел(а) из комнаты