Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-01-25

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

All times shown according to UTC.

Time Nick Message
08:38 xstill hm, v posledním clang_med buildu je pořád g++ u kompilace dve
09:31 spito joined #divine
10:00 mornfall to je jinej bug
10:03 xstill aha ono je tam zadrátované napevno
10:10 mornfall mám to lokálně opravený, ale zkusím ještě to mpi ubít
13:22 xstill mornfall: jak můžeš defaultovat ne-konstatní copy konstruktor?
13:22 xstill base( bitstream &cp ) = default;
13:22 mornfall xstill: hm, počítám že se to na gcc 4.7 rozsype
13:22 mornfall ale jinak to je snad validní C++11 ne?
13:22 xstill nevím
13:23 mornfall ono bez toho je ten forward lepší match takže to překryje...
13:23 mornfall pokud tam cpeš něco co není const
13:24 mornfall (to jsou takový ty nešťastný interakce...)
13:24 xstill hm, to je nemylé, už by to chtělo se té 4.7 zbavit
13:24 mornfall tak já nevim, možná to projde aj na 4.7 (budu doufat)
13:24 mornfall já to zkoušel jen s clangem 3.5 zatím
13:25 xstill jo ale tak kdybysme nemuseli řešit 4.7 tak ty konstruktory prostě zdědíme
13:25 mornfall v tomhle případě ne
13:25 xstill ono stejně mi asi něco uniká, oni to nejsou ani copy konstruktory~
13:26 mornfall jsou
13:26 mornfall bitstream je self-alias
13:27 mornfall (= base< block, Ext > nebo tak cosi)
13:28 xstill aha vlasntě
13:28 xstill ale tak to se tam dá psát normálbně base( base &cp ), ne?
13:29 mornfall to asi možná dá, jen mě to nenapadlo
13:29 mornfall „asi možná“ :D
13:30 xstill a teda -x c++ nezajistí linkování s libstdc++/libc++ (mám pocit, že to dokonce nemá žádnej efekt pokud kompiluješ .cpp pomocí gcc)
13:32 mornfall hm, to není úplně dobře
13:32 xstill obávám se, že budeme muset přidat CMD_CXX (a možná bych předělal CMD_GCC na CMD_CC)
13:33 xstill a default nastavil na cc/c++ možná
13:33 mornfall otázka je proč to funguje
13:33 xstill hm
13:34 xstill protože compile dve zdá se nepoužívá nic z c++ knihovny
13:35 mornfall jo asi jo
13:35 xstill takže jo, fungovat to bude dokud to někdo nepoužije omylem tu funkci na něco co vážně potřebuje g++
13:36 xstill ještě to používá murphi
13:36 xstill ale to taky vypadá dost cčkovitě
13:36 mornfall je otázka jestli se s tím patlat nebo to všechno rovnou překlopit na přilinkovanej clang 3.5 :-)
13:37 mornfall když to spravíš (CMD_CC a CMD_CXX) zlobit se nebudu
13:37 mornfall ale nemůžu tvrdit že by se mi chtělo...
13:37 mornfall ještě jsem chtěl to ndfs dořešit
13:37 xstill máme vůbec nějaký murphi testy?
13:37 xstill jo to ndfs je důležitější
13:37 xstill dneska to dělat nebudu, pak se uvidí
13:37 mornfall muprhi testy myslim nejsou
13:37 mornfall v dalším revision možná
13:37 xstill to je taky chyba
13:37 mornfall no je :)
13:38 mornfall actually máme ale jen když se udělá build co to má zaplý
13:38 mornfall lib -> all_small -> murphi-small
13:38 mornfall abp.m
13:38 xstill aha
13:39 mornfall s,-,_,
13:40 xstill tak já to schválně zkusím pustit
14:04 mornfall nojo už je to tu, /var/tmp/divine-3.2.2+pre5503/bricks/brick-rpc.h:103:5: error: 'brick::rpc::_impl::base<brick::rpc::_impl::block, Ext>::base(brick::rpc::_impl::base<brick::rpc::_impl::block, Ext>::bitstream&) [with Ext = divine::WithPool; brick::rpc::_impl::base<brick::rpc::_impl::block, Ext>::bitstream = brick::rpc::_impl::base<brick::rpc::_impl::block, divine::WithPool>]' declared to take non-const r
14:04 mornfall eference cannot be defaulted in the class body
14:36 mornfall jo no, 4.8 funguje
14:37 mornfall já bych tu 4.7 asi fakt vyfakoval mě to nebaví...
14:38 xstill tak zrovna tohle se dá snadno opravit
14:39 mornfall lts ubuntu je 14.04 tam to funguje, na rhel7 to taky funguje
14:39 xstill my už buildujeme na rhel7?
14:40 mornfall ne, ale je tam gcc 4.8.2
14:40 mornfall (mám to tady ve virtuálce)
14:41 mornfall jen ten debian stable má problém
14:42 mornfall nojo, můžu to tam vypsat... ale je to hloupý
14:45 xstill jako můžu to udělat a zkusit u sebe na 4.7.2 jestli to jede
14:45 mornfall jo pokud to máš naštelovaný tak by to pomohlo
14:47 xstill mám
14:57 mornfall [ 0:36] /nix/store/za5l78ydgq0sdi9i3jnrssgp79yb28gg-binutils-2.23.1/bin/ld: cannot find crtbeginS.o: No such file or directory
14:57 mornfall [ 0:35] /nix/store/6b9hmwmw4x4cpqzi65k96kgfx7mbbsvf-clang-wrapper-3.4.2/bin/cc -x c++ -g -O2 -fPIC -shared  -o empty.dve.so empty.dve.cpp
14:58 mornfall takže cc -x c++ asi nebyl úplně dobrej tah
14:59 mornfall hmm, a tak jak jsem ten gcc-wrapper udělal to asi linkuje s c++abi aj Cčkový programy :P
15:05 mornfall achjo
15:05 mornfall 33     elif [ "$i" = -x ]; then
15:05 mornfall 34         # At least for the cases c-header or c++-header we should set dontLink.
15:05 mornfall 35         # I expect no one use -x other than making precompiled headers.
15:05 mornfall 36         dontLink=1
15:05 mornfall to je zase jednou zhackovaný
15:13 xstill no to je bordel
15:24 xstill poslal jsem patch, zkompiluje se to, ale ty testy mi nejdou zpustit (segví mi to při někde v ld-linux, což vůbec nechápu)
15:31 xstill to je nějakej bordel v testech ale, ručně to pustit jde zdá se
15:38 mornfall hned to pushnu
15:47 mornfall na tom ndfs je blbý že tady funguje
15:49 mornfall a tady to g++ 4.8 co tu mám to dost silně nedává... /home/mornfall/dev/divine/mainline/divine/utility/sysinfo.cpp:239:31: error: 'to_string' is not a member of 'std'
16:03 mornfall hmm, -D_GLIBCXX_USE_C99 tomu dost pomohlo
16:03 mornfall já nevim co to maj v tom gcc furt za nápady
16:03 mornfall proč zrovna C99 a proč to v 2015 není default...
16:07 xstill wtf
16:17 mornfall hm, přeložený clangem to asi nedokážu shodit
16:17 mornfall ale s gcc to zdechá aj v debugu
16:17 mornfall občas...
17:18 xstill hm zase to v clang_med spadlo, to nechápu, navíc tam ani není vidět příkaz kompilace
17:21 mornfall no, cpp :)
17:21 mornfall (preprocesor na .dve -> .dve v combine)
17:36 xstill hm, proč tomu jde libc++, to přece nedává smysl?
17:48 mornfall no ten wrapper je furt stejnej
17:48 mornfall s gcc to taky nedávalo smysl
17:49 mornfall (to znamená že to NIX_CFLAGS_LINK který tam cpe ten setup-hook z libc++ se tam nacpe aj pro cpp a v podstatě pro cokoliv)
17:50 xstill hm, to je blbě vymyšlený
17:50 mornfall tak ono by to asi mělo poznat že to je cpp a nastavit dontLink
17:50 mornfall otázka jestli CMD_CPP nebo CMD_CC -E
17:51 xstill tak pokud bude to druhé fungovat tak to, jen musíš nějak tomu cpp poslat i to -P počítám
17:52 xstill protože jinak to bude stejně bordel, to aby potom člověk nastavoval CMD_CPP na rozbalené CPP nebo co
17:53 xstill ono vůbec, jakto, že doteď se wrappery neovlivňovali, to už nebude člověk ani moct mít zároveň gcc a clang?
17:54 xstill cpp je přece v gcc wrapper, ne?
17:56 mornfall no o to nejde
17:57 mornfall všechny -wrapper interpretujou NIX_*FLAGS*
17:57 mornfall když to jednou nastavíš do prostředí tak se to týká gcc stejně jako clangu
17:58 mornfall /nix/store/fa2kncy4wj7375nyg05pifcz7642irw4-libc++-3.4.2/nix-support/setup-hook je to rozbitý (exportuje -stdlib=c++ do NIX_CFLAGS_LINK)
17:58 mornfall takže jak se objeví libc++ v buildInputs, ten setup-hook se nasourcuje do prostředí
17:58 mornfall ono to normálně neva protože tohle se týká čistě jen derivací
17:58 mornfall ne tvýho user environment
17:59 xstill aha
18:00 xstill ale stejně je to dost divnej systém
18:01 mornfall je
18:17 xstill ale už je to dost zelený :-)
19:34 spito joined #divine
20:42 mornfall hmm
20:43 mornfall g++ build s optimalizacemi na freebsd hází nějakej divnej parse fail
20:43 mornfall (vypadá to že výjimka prolítne try blokem jako nic)
20:43 xstill hm  StartEnd .  # case brick_test::shmem::StartEnd::approximateCounterProcessAll caught fatal signal 14
20:43 xstill (http://divine.fi.muni.cz/status/log/s0079kbwmz3sgip2m12ym06q4gfmwx8l-divine-gcc_llvm_33_debug_x64-3.2.2+pre5507.drv)
20:44 xstill parse fail kde?
20:44 mornfall no v DVE parseru
20:44 xstill zdá se, že approximate counter deadloknul :-(
20:45 mornfall no jestli to není něco jako že sched_yield nic nedělá protože mozkově mrtvý configure v gcc :P
20:46 mornfall i když tam zrovna tohle není... tak nevim
20:46 mornfall třeba to je fakt rozbitý
20:46 mornfall spito: !
20:46 xstill hm, no to by bylo taky možný s tím sched_yield, že nic nedělá, ale ani tak by to nemuselo deadlockovat, ne?
20:47 mornfall tak on by to nemusel být deadlock ale mohlo by to trvat výrazně dýl
20:47 mornfall ale tohle nebude ono protože ho tam nikde nevidim
20:49 xstill chtělo by to zkusit verifikovat
20:50 mornfall chtělo no
20:51 mornfall taky by to chtělo dodavatele heroinu nebo tak něco :P
20:54 xstill wat?
20:55 mornfall :D ale nic
21:00 spito mornfall: vidím
21:00 spito a vůbec se mi to nelíbí
21:03 mornfall možná bych mohl začít tím že nainstaluju gdb který není 10 let starý
21:14 spito jinak ten test by bylo fajn nějak zopakovat
21:14 spito půjde to vůbec? :D
21:15 xstill teoreticky asi jo :-D
21:16 spito by se totiž docela hodilo vědět, kde to začalo cyklit
21:16 spito hmm
21:16 spito i když...
21:17 spito ten test je blbě napsaný
21:20 spito mornfall: je možné ten test ignorovat?
21:20 spito já se zamyslím, jak ho opravit
21:26 mornfall no ono to asi zase dost rychle zmizí
21:26 mornfall neděje se to zrovna často
22:06 spito mornfall: opraveno
22:39 ilbot3 joined #divine
22:39 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
22:41 mornfall Jan 25 23:37:59 ash sm-mta[57184]: t0PMbsP5057181: to=<pers@fi.muni.cz>, delay=00:00:03, xdelay=00:00:02, mailer=esmtp, pri=346787, relay=relay.muni.cz. [147.251.4.35], dsn=2.0.0, stat=Sent (t0PMbvrD052679 Message accepted for delivery) ... není cesty zpět

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