Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2016-10-02

| Channels | #divine index | Today | | Search | Google Search | Plain-Text | summary

All times shown according to UTC.

Time Nick Message
01:48 ilbot3 joined #divine
01:48 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
07:33 xstill hm, ten bug s výjimkama v __thread_proxy v naší verzi libc++ pořád je, nemělo už to být v upstreamu opravený?
07:36 mornfall no, v dubnu v trunk-u
07:36 mornfall takže asi sotva
07:36 mornfall (v naší 3.7 nebo co to máme)
07:36 xstill máš někde po ruce ten patch?
07:41 mornfall https://llvm.org/bugs/show_bug.cgi?id=15638#add_comment
07:41 xstill aha našel jsem ho asi v historii
07:41 xstill :-D
07:45 mornfall ale ten trac browser bych skoro dal zpátky... ono to bylo docela dobrý; když se zruší registrace, tak by to mělo být relativně bezúdržbový
07:47 xstill jakože trac na prohlížení kódu?
07:49 mornfall jo, jakože by se mu ukázalo na current a měli bychom prohlížeč kódu a historie online
07:53 xstill to by asi stálo za to, a možná by to nemuselo až tak bolet
07:53 xstill mornfall: v mém repu máš patche (ten XXX by měl jít bezpečně ignorovat)
07:55 xstill pamatuješ si důvod proč trac běžel na postgresu?
08:27 mornfall protože sqlite cucá :)
08:28 mornfall a postgres už stejně byl
08:28 mornfall když tam nebudou žádný data asi může být nad sqlite (jen to nesmí být na nfs)
08:28 xstill cucá v čem? to fakt nedávalo tech pár set ticketů co máme?
08:30 xstill rozcházet postgres se mi totiž nechce, to už bych raději použil db.fi.muni.cz
08:30 mornfall ona se dost lehce zkorumpuje
08:30 xstill super…
08:30 mornfall rozchodit postgres je typicky otázka nainstalovat to
08:31 mornfall db.fi mě poslalo na tech/unix/svn.xhtml
08:31 xstill https://fadmin.fi.muni.cz/auth/sys/ucty_db.mpl
08:31 xstill jen to má tu nevýhodu, že je to vázané na člověka, takže by si tu databázi musel aktivovat asi Jiřík
08:32 mornfall jako řekl bych, že rozjet účet na db.fi a rozjet postgres je zhruba stejná práce
08:32 xstill no tak jo
08:32 mornfall nevim teda jak to řeší db.fi s heslama, ale tracu do konfiguráku asi nechceme psát Jiříkovo krb heslo
08:33 xstill ne, heslo jde nastavit separátně
08:33 mornfall u nás to můžem pustit po unix socketu nebo s ident-em
08:33 mornfall pak se není potřeba s heslama nastavovat vůbec
08:33 xstill OK, asi je fakt jednodušší mít lokální
08:33 mornfall (ale jak říkám, pokut to bude sqlite na lokálním fs, tak se to přinejhorším zahodí a přegeneruje)
08:34 mornfall on si tam trac jen cachuje data když se nepoužívá wiki/issues
08:36 mornfall nicméně, jak funguje externí přístup do gitlabu?
08:37 xstill špatně (teda read-only jo, když máš odkaz)
08:38 xstill naše skupina je normálně veřejná, takže to můžeš číst, ale na přihlášení potřebuješ kerberos účet na FI
10:07 yaqwsx joined #divine
11:07 xstill mornfall: co ten libedit, přidáme ho do external, nebo ho necháme jako závislost? Stejná otázka jsou ncurses, což je v podstatě jediná zbývající divná závislost
14:38 xstill mornfall: doplnil jsem instrukce o závislostech, s tím souvisí: "some package on/in ubuntu/most distributions", je správně in nebo on?
14:40 xstill nakonec mi příjde, že dává smysl libedit a ncurses nechat jako závislost (a přidat jen check do cmake) protože jsou snadno nainstalovatelný
17:24 evenfall zavislost, to se poslednich 20 let nezmenilo :)
17:24 evenfall in distribution
17:25 xstill pak to musím zaamendovat
17:47 xstill mornfall: opraveno, můžeš pullnout
18:18 evenfall jo prvne musim dojet dom
18:18 evenfall z mobilu to asi nedam :p
18:24 xstill :-D
19:05 mornfall resolved upstream, nikoliv 'in upstream' (upstream je ukazatel směru, ne místo)
19:05 mornfall to s těma balíkama mi skoro přijde že by bylo lepší napsat do Makefile-u
19:06 mornfall (jako spustitelnou věc, která prostě udělá apt-get/yum/cokoliv install)
19:07 mornfall to se pak třeba rovnou využije kdyby někdo chtěl dělat VM image
19:44 xstill to mi příjde docela blbý aby make instaloval balíky
19:45 xstill ten libc++ patch mám teda amendovat?
19:47 xstill amendul jsem
19:55 mornfall tak asi ne by default, ale takhle je tam napsaný jak se ty balíky jmenujou, ale už ne jak je nainstalovat
19:56 mornfall navíc si nejsem jistej jestli člověk kterej neumí najít cmake ve vlastním distru vůbec ví jaký distro běhá :-)
19:57 mornfall a taky teda asi nechceš psát MacOS (když tak macOS, ten s velkým M je to co bylo před OSX) a 'BSD' taky neexistuje
19:58 xstill cmake je v pohodě, ale najít libncurses5-dev už je horší, to by i mě chvíli zabralo kdybych to už nedělel s několika lidma dřív
19:59 mornfall stejně bych na to asi radši napsal skript a odkázal na něj
20:01 mornfall navíc teda ncurses se zrovna na nic nepoužívaj
20:01 mornfall (ne že bychom nechtěli v budoucnu mít nějaký TUI pro sim, ale teď tam nic není)
20:02 mornfall python chce počítám llvm na nějaký pochybný čarování
20:02 xstill obojí chce llvm
20:03 xstill a dost tak, že se bez toho neobejde, navíc když nemáš python 2 ale máš python 3 tak si vesele najde python 3 (i když binárka python neexistuje) a pak zdechne při buildu
20:03 xstill krátké googlení nenašlo jak se zbavit curses v llvm
20:03 mornfall doufám že to curses chce na ten ProgrssBar.py
20:03 xstill pythonu se zbavit nejde protože ten potřebuje tblgen nebo tak něco
20:04 mornfall jo, LLVM_ENABLE_TERMINFO vypnout
20:04 xstill tuším že to používá minimálně terminfo z curses
20:05 xstill aha to zkusím
20:05 mornfall no, používá, ale ne v kódu kterej bychom měli
20:06 mornfall aha už to vidím, clang barvičky
20:06 xstill ty nám stejně nefungujou už teď
20:07 xstill (těžko říct proč, ale v cc maj být zapnutý ale nejsou)
20:07 mornfall spíš je teda zajímavý, že nepoužívaj ncurses hlavičky
20:08 mornfall maj vlastní prototyp a jen se to s curses linkuje
20:08 mornfall (proto jsem to taky na první pokus nenašel)
20:09 xstill takže mám udělat nějaký releng/install_dependencies.sh a dependencies target v Makefile kterej to spustí?
20:09 mornfall počítám, že celej problém teda je že neexistuje symlink libncurses.so (protože libncurses.so.něco musí existovat snad na každým linuxu)
20:11 mornfall xstill: no druhá možnost je jít na to z druhý strany, vyrobit/updatovat .spec a ty závoslosti nainstalovat podle toho (ale to nevim jak moc univerzálně jde a asi to bude vyžadovat nějaký kusy balíkovače který nejsou defaultně nainstalovaný?)
20:11 xstill co je .spec?
20:11 mornfall to podle čeho se buildí rpm
20:11 mornfall releng/divine.spec
20:12 mornfall dokonce jsi to i updatoval někdy, podle changelogu :-)
20:12 yaqwsx joined #divine
20:13 xstill nojo, to já už nevím co všechno jsem editoval
20:14 mornfall jinak jo, nevim jak to vhodně nazvat ale jak to bylo? there are only 2 hard problems in computer science: cache invalidation, naming things and off by one errors
20:15 xstill hm, dá se vůbec očekávat, že bude všude sudo?
20:15 mornfall to jde lehce zjistit
20:15 mornfall teda, 'lehce'
20:15 mornfall nejde očekávat že bude všude which
20:16 mornfall ale psaní přenositelných shell skriptů je taky veselej zážitek :-)
20:16 xstill no bez which a sudo se ten instalační skript bude spát blbě
20:16 xstill teda moc toho nenainstaluje minimálně
20:17 mornfall tak do manuálu se napíše run 'make install-deps' as root, eg. by issuing '$ sudo make install-deps'
20:18 xstill to by šlo, kdo nebude umět sehnat sudo už má smůlu
20:18 mornfall s tím which, to už je osud linuxu, je to samostatnej balík a ne kazdej systém to má
20:18 mornfall každej*
20:18 xstill já tu třeba mám nějakej minimální obraz ubuntu co which má (ale sudo ne, má teda su…)
20:19 mornfall type -p leckde taky funguje
20:19 xstill hm, to ani neznám
20:20 mornfall nicméně často je lepší zkusit tu věc pustit (třeba s --version) než which
20:20 xstill ne že by type měl nápovědu nebo manpage která říká co jeho přepínače znamenají
20:20 mornfall man bash :)
20:21 mornfall to je builtin totiž
20:21 mornfall ale nevim jestli je podle posix-u povinnej
20:21 mornfall zdá se že 'type' jo, ale už ne -p
20:21 xstill podle manu je to posix ale nemá v manu žádný přepínače…
20:22 xstill to je asi jedno if apt-get --version 2>&1 > /dev/null nebo tak něco bude celkem jistý
20:22 mornfall jo, tak na to pozor, to ti může projít aj na fedoře :-)
20:23 xstill jakto?
20:23 mornfall tomu aby někdo dal na fedoru binárku apt-get v zásadě nic nebrání
20:23 mornfall minimálně rpm v debianu je určitě i jako balík
20:24 xstill ještě se asi dá udělat source /etc/os-release
20:24 xstill to vypadá relativně použitelně
20:24 mornfall jo, to je zase nějaká systemd věc :)
20:25 xstill to nám asi nevadí, linuxů na kterých může jednoduše běžet divine a nemaj systemd moc není
20:25 mornfall ale fedoru a spol tím poznáš lehce, rhel6 už asi ne
20:25 xstill no na rhel6 si stejně závislosti z balíku nenainstaluješ
20:25 mornfall jakto?
20:25 mornfall moc starý gcc?
20:25 xstill no protože tam dostatečně nový gcc nenajdeš
20:25 xstill je tam tuším 4.4
20:26 xstill gcc                          x86_64               4.4.7-17.el6
20:28 xstill nakonec, díky cmake 3.2 nedáváme ani ubuntu 14.04 (který má jinak gcc 4.8 což by šlo)
20:28 mornfall jaký maj cmake?
20:29 mornfall to by možná chtělo zkusit jestli to náhodou neprojde
20:30 mornfall (ale teď ne, někdy jindy, momentálně úplně stačí když to bude fungovat na aktuálních verzích těch 5 distribucí, což jsou vlastně 2 trochu přebarvené)
20:30 xstill 2.8
20:30 xstill kterých 5? (ubuntu, fedora, debian, CentOS/RHEL a co je ta 5.?)
20:31 mornfall centos a rhel jsou 2
20:31 xstill jo tak
20:32 mornfall nebo teda tak jsem to spočítal, ono debian a ubuntu se asi z pohledu tady tohoto chovají taky zcela identicky
20:33 xstill tak centos a rhel stejný verze by měly být i binárně kompatibilní, ne? to u ubuntu a debianu neplatí (ale balíky maj většinou pojmenovaný stejně). To je ale jedno
20:34 mornfall no, centos by měl být (nebo aspoň to tak kdysi bylo) jen rebuild zdrojáků rhel-u a jen velice lehký rebranding
20:38 mornfall ještě by teda bylo dobré vymyslet jak odlišovat to že je někdo vývojář nebo ne (možná něčím v local.make)
20:38 xstill co potřebuješ rozlišovat?
20:38 mornfall protože asi chceme aby default pro nás byl debug ale pro uživatele release
20:39 mornfall a taky bych zvážil jestli přecijen aspoň nezkusit tu instalaci závislostí pro uživatele automatickou
20:39 xstill jakože by se to magicky nainstalovalo?
20:40 mornfall je to trochu debilní, ale v době 'curl http://magic.io/install.sh | sudo sh -' ... no nevim
20:41 xstill zkusím něco vytvořit
20:44 mornfall jo, na to vypínání malloc fail to asi chce makro nebo něco (do dios.h)
20:45 mornfall pullnul jsem to jak to je, jen tak do budoucna, takhle to vypadá dost hrozně
20:59 xstill pullneš i tu inicializaci pthreadů? bez toho bude padat to future
21:01 xstill hm, source je bash-specific? dash má . ale nemá source…
21:03 yaqwsx joined #divine
23:46 divine-buildbot Hey! build divine-next-debug #65 is complete: Failure [finished]
23:57 divine-buildbot Hey! build divine-next-debug #66 is complete: Failure [finished]

| Channels | #divine index | Today | | Search | Google Search | Plain-Text | summary