Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2016-11-10

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

All times shown according to UTC.

Time Nick Message
01:00 divine-buildbot joined #divine
02:48 ilbot3 joined #divine
02:48 Topic for #divine is now DIVINE | http://divine.fi.muni.cz | http://irclog.perlgeek.de/divine/
03:21 divine-buildbot joined #divine
04:10 divine-buildbot joined #divine
09:05 mornfall xstill: to environment by asi bylo taky potřeba přidat, počítám že bez toho to moc fungovat nebude
09:05 mornfall ještě teda uvažuju jestli není nějaký lepší způsob jak vyčlenit data od testů
09:05 mornfall (data který maj koncovky .c třeba)
09:30 xstill_ mornfall: to environment generuje CMake
09:30 xstill_ mornfall: to nevím no s těma datama, do jiný složky je dávat moc nemůžu
09:30 xstill_ takže to nějak musí být v názvu
09:31 xstill_ a nemůže to moc být přípona
09:31 xstill_ takže vlastně jde jen o to kam a co do toho názvu napsat
09:32 xstill_ (environment používají už existující testy)
09:37 mornfall ah
09:38 mornfall a nemůže to být v test/data/cc?
09:38 mornfall (test/data už existuje a jsou tam .c věci co se nespouští)
09:39 mornfall cesta k tomu by se zrovna mohla dát do toho environment-u kdyžtak
09:39 mornfall tak by ani nevadilo pak když se testy přesunou nějak, že by se rozbilo ../data/
09:40 xstill_ hm, jako asi by se to dalo dát do data, jen se mi úplně nelíbí, že by .sh testu a jeho data byli někde dost jinde
09:42 mornfall jako jo, ale zase mít veškerý soubory pojmenovaný něco.dontrun.c taky není zrovna výhra
09:43 mornfall zrovna u tohoto testu a podobných bych si teda klidně ty data vyrobil v tom .sh
09:44 mornfall mkdir -p bla/1/2/3 cat > bla/1/2/3/test.c <<EOF ... EOF
09:44 xstill_ mě se moc nelíbí testy co se nedaj pustit mimo ten runner
09:45 xstill_ to se blbě debuguje
09:45 mornfall no, tohle jde pustit výrazně víc než když to používá TESTDIR
09:45 mornfall nebo co znamená runner? jako pustit test bez testu? stačí to spustit jednou ručně a máš to celý nachystaný
09:47 xstill_ no když si chci pustit ten DIVINE v debugeru tak teď ho budu muset jen pustit ve správném adresáři, pokud tam bude to co navrhuješ ty tak musím nějak zhmotnit ty soubory nejdřív (+ je potřeba se starat o jejich přepisování, o to, že tam nezůstanou nějaké staré při změně testu, o to kde vlastně ty testy běží…)
09:47 mornfall (jednotlivej test po sobě nemusí, ba přímo nemá, uklízet)
09:47 xstill_ akorát tohle vlastně zase vytvoří .bc v src stromě asi :-/
09:48 mornfall no tohle je dost bordel v tom test/ stromě taky :) test co se jmeuje cc/rel_include/1/2/3/test.sh nepůsobí kdovíjak :)
09:48 xstill_ ok, to taky není ideál no
09:48 xstill_ ty data mi ale zní rozumnějš
09:48 xstill_ data se kopírují?
09:48 xstill_ (test/data)
09:48 mornfall data se kopírují
09:49 mornfall bordel v datech je lepší než bordel mimo dat, ale furt se mi zdá lepší vyrábět ty data z testu, když jsou malý
09:49 mornfall co uděláš až budeš potřebovat symlink někam do háje?
09:50 mornfall (to nastane docela záhy, pokud se budou psát testy na --capture)
09:51 xstill_ no nevím, pokud je chceš vyrábět z testu tak to v podstatě vynucuje aby runner spustil každej test v samostatným prázdným adresáři
09:51 mornfall to je asi fakt nejmíň
09:51 xstill_ jinak se budou leakovat data mezi testy nechtěně (když je to v data, je alespoň jasné jak se to děje)
09:52 mornfall když bude konvence, že ten test ty data nachystá všechna než cokoliv spustí, tak pak je procedura na reprodukování .sh testu docela jasná a jednotná
09:54 xstill_ no dobře, to by asi šlo, a vlastně ten adresář asi může vytvářet i ten shell interpret
09:54 mornfall (ruční reprodukování... ono teda přidat si gdb do toho testu na strategický místo a pustit to jako make functional INTERACTIVE=1 taky funguje
09:54 mornfall )
09:54 xstill_ to bych musel vědět, že existuje INTERACTIVE=1
09:54 xstill_ ale jo no…
10:03 xstill_ hm, mám takový drobný problém s tím /etc/divine.make, asi by dávalo větší smysl aby se načítalo po local.make aby vidělo jestli užitatel něco nastavil
10:04 mornfall nemělo bý to být obráceně, aby uživatel mohl přebít nastavení z toho systémovýho?
10:05 xstill_ no pokud ten systémovej bude napsanej slušně tak může být druhej
10:06 xstill_ já bych totiž v tom systémovým třeba chtěl uživateli říct, že se něco děje, ale nedává smysl mu říkat, že se to přenastavuje na debug pokud on má ve svém DEFAULT_FLAVOUR = release
10:06 mornfall myslíš ještě něco jinýho, než že první věc co vypíše 'make' je 'make debug-divine'?
10:07 mornfall resp. myslíš že si někdo všimne že to něco vypsalo na začátku?
10:13 xstill_ no nevím, ale spíš když tam bude něco jiného než standardní make výpis
10:22 mornfall to není tak úplně standardní make výpis (je tam proto že se make volá rekurzivně)... ale přidat @echo do Makefile je asi stejně cesta menšího odporu
10:22 mornfall a navíc pokud chceš aby 'make' bez všeho něco vypsal, tak to do toho /etc/divine.make můžeš napsat jako pravidlo, bude první :)
10:24 xstill_ ha
10:24 mornfall nebo .BEGIN nebo nevím
10:24 mornfall (jestli to gnumake umí)
10:24 xstill_ co je .BEGIN?
10:24 mornfall .BEGIN        Command lines attached to this target are executed before
10:24 mornfall anything else is done.
10:24 xstill_ aha
10:25 mornfall ne, .BEGIN asi v gnumake není
10:25 xstill_ umí $(info …) které se vypíše vždy pokud je na top level
10:26 mornfall taky možnost
10:26 mornfall jen se asi bude vypisovat hodněkrát, pokud to vypisuje aj při rekurzi
10:26 xstill_ no právě
10:27 xstill_ ale vyřeším si to
10:40 xstill_ mornfall: nic z těch testových patchů jsi nepullnul, že?
10:44 mornfall zatí ne
10:44 mornfall zatím*
10:48 mornfall xstill_: mohl bys buildbotovi říct ať make functional pouští s BATCH=1?
10:49 mornfall (nevim co se stalo, ale takhle pomalý to nebývalo)
10:49 mornfall c/assert.c na arke teď trvá 30s
12:24 xstill_ mornfall: co je BATCH=1?
12:24 xstill_ ty debug testy jsou pomalé kvůli VFS počítám
12:24 xstill_ aha, jako že zpomalili všechny?
12:30 xstill_ mornfall: tak jsem to opravil, ale nevím jestli ten první patch teď má vůbec smysl
13:01 yaqwsx joined #divine
13:20 mornfall xheno: potom daj vedieť až budeš mať na arke čisté repo ;-)
13:21 mornfall xstill_: přijde mi že takhle pomalý to nebylo no, ale nemám to moc s čím srovnat
13:22 xstill_ a co dělá ten BATCH?
13:22 mornfall však si to zkus... vypisuje statistiky
13:32 xstill_ done
13:32 divine-buildbot joined #divine
14:19 mornfall xstill_: nezapomněl jsi tu chybu co testuješ aj opravit, nebo tak něco?
14:19 xstill_ mornfall: jsem psal, že to padá, že jsem to neopravil
14:19 mornfall aha
14:19 xstill_ ono to nebude na 5 minut :-/
14:20 xstill_ teda minimálně to -x
14:20 xstill_ to ../.. ale asi taky ne
14:21 mornfall jo to mi uniklo
14:21 mornfall možná ideální příležitost vyrobit test/todo ;-)
14:22 mornfall (možná radši zítra, ještě jsem se nedobojoval k tomu devconfu)
14:24 xstill_ se na něj dívám zrovna teď
14:25 xstill_ je to nějaký mega moc velký
14:26 xstill_ navíc mám pocit, že tam úplně nezapadnem
14:30 mornfall no, pokud se chceme někdy k tomu průmyslu nějak dopracovat, tak se budem muset snažit (zapadnout)
14:33 xstill_ nojo
15:00 divine-buildbot Hey! build divine-next-debug #61 is complete: Failure [finished]
15:02 mornfall xstill_: kolize buildbota s /etc/divine.make
15:03 xstill_ hm on se trefil zrovna na pythia01?
15:03 xstill_ nikde jinde /etc/divine.make není
15:04 xstill_ nojo vážně
15:04 xstill_ blbý
15:35 xstill_ implementoval jsem test/todo a přesunul to tam (ještě musím zkontrolovat že to precuje fakt správně ale počet testů se mění)
19:07 yaqwsx joined #divine
19:07 xstill hm, tak se mi právě znova rozbil v jednom build -Werror, rozdíl v CMakeCache je jen v tom, že jednou je v LLVMSupport_LIB_DEPENDS:STATIC navíc libz a HAVE_LIBZ_INTERNAL je 1 (v původním není definovaný)
20:03 xstill mornfall: papers/2017/devconf-divine-workshop něco jsem nahodil, ale moc nevím co s tím dál…
20:03 xstill a taky nevím jestli jsme (budeme) úplně ve stavu na workshop, ale snad jo…
20:11 divine-buildbot Hey! build divine-next-debug #59 is complete: Failure [finished]
20:16 divine-buildbot Hey! build divine-next-debug #60 is complete: Success [finished]
20:28 xstill hm, tak se mi zase rozhodlo rebuildit LLVM, ten bazmek v bricsu mám zakomentovaný a v envu jsem nebyl…
20:29 xstill OK, ale ten CMakeCache je těžce podezřelej
20:29 mornfall počítám že když to teď zabiješ a pustíš s VERBOSE=1 už ti neřekne proč se to celý rozbilo?
20:29 xstill je plnej systémovýho LLVM, dost nechápu jak
20:29 mornfall ale možná by mohl
20:30 mornfall (je tam teď -d explain)
20:30 xstill ninja explain: command line changed for clang/utils/TableGen/CMakeFiles/clang-tblgen.dir/ClangASTNodesEmitter.cpp.o
20:30 xstill a tak dál pořád
20:31 mornfall aha
20:31 mornfall ale to dává smysl
20:31 xstill což jako když vidím ten CMakeCache dává smysl, ale on nedává vůbec smysl
20:31 xstill no dokázalo to nějak někde najít systémový LLVM
20:35 mornfall mrkni do CMakeOutput.log
20:35 mornfall (builddir/CMakeFiles/)
20:37 xstill žádný llvm-config ani zajímavý LLVM tam nevidím, jen běžný detekce věcí jako libc++ a atomic
20:38 xstill aha, ale já blbnu hlavně
20:38 xstill to systémový LLVM bylo v tom starém CMakeCache
20:39 xstill myslel jsem, že jsem po tom úspěšném rebuildu udělal ještě jednu kopii ale ne :-/
20:39 xstill takže vím celkem kuloví
20:40 xstill krom toho teda, že vykopat tu věc z bricsu dává smysl
20:42 xstill hm vida, kód, který používá printf už funguje
20:43 xstill ještě by asi dávalo smysl cpát stdout/stderr by default do trace
20:43 mornfall xstill: no, jedna věc je, že když se flipne ta libz věc, tak se změní config.h v llvm
20:43 mornfall takže pokud ten libz test flipflopuje tak rebuildy
20:43 mornfall ale tohle zní jako ještě jinej problém (protože switche to mění jen linkeru)
20:44 mornfall jo, stdout->trace jsem už s někým řešil, ale zatím to nijak nedopadlo
20:44 mornfall asi protlačit diosem jako option (default on)
20:45 xstill OK, domluvím se s Katkou a Honzou
21:02 xstill hm, ona je to implementace na 10 řádků to tam blít, takyže zbývá aby vyřešili jak tam napropagovat nastavení.
21:02 xstill ale ty breakpointy na řádek by to chtělo
21:02 mornfall v sobotu
21:02 xstill :-)
21:03 xstill + by ten breakpoint mohl říct něco
21:03 xstill aha, on řekne pokud neprojde

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