Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2016-09-28

| 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/
08:17 xstill ten spadlý build je jen chyba v makefile, u mě opraveno
11:53 mornfall xstill: ale to je divný ne? jak tomu může pomoct že je toolchain nakonfigurovanej (ale binárka překladače neexistuje)?
11:57 mornfall ten patch je IMHO blbě... hlavně tomu podle build logu chybí .stamp-debug-configure ne toolchain
11:59 mornfall taky si teda myslim, že pouštět dist v buildbotovi není moc dobrý, pokud nechceš generovat tarbally s hashovými verzemi
11:59 mornfall mít 20 různých divine-4.1.3.tar.gz je spíš kontraproduktivní
12:01 mornfall pak bych spíš udělal ještě 'release' repo kam by se pullnulo z current jednou za dva týdny a udělal se normálně release s číslem
12:01 mornfall jen to ještě pár týdnů nebude mít smysl
12:06 xstill_ ten build můžu klidně vyhodit z buildbotu
12:06 xstill_ nicméně na to aby spotřeboval tarball nepotřebuješ build, ne?
12:06 xstill_ je pravda, že jsem nekontroloval jestli se to zabalilo správně, to je chyba
12:06 mornfall potřebuješ ale buildsystém
12:07 mornfall build.ninja nebo makefile nebo něco
12:07 mornfall a ten si myslim že nedostaneš bez toho abys měl funkční překladač
12:07 xstill_ no ano, ale neměl bys potřebovat nakonfigurovanej debug build, jen nějakej build, ne (proto toolchain aby se nemusel zbuildit toolchain kvůli tarballu)?
12:08 mornfall jo takhle... to jsem si nevšim, ale fakt bych to nedělal
12:08 xstill_ proč?
12:10 mornfall to je docela náhoda že to funguje
12:10 xstill_ hm, ale ono je to stejně blbě, protože to tam zabalí i _build.toolchain adresář
12:10 xstill_ možná by dávalo větší smysl generovat tarball z darcsu (jestli to umí)
12:11 xstill_ z buildbota jsem to vyhodil
12:11 divine-buildbot joined #divine
12:11 mornfall darcs to sice umí, ale pak nejde vyrobit dist z tarballu
12:12 mornfall a to je trochu neintuitivní
12:12 xstill_ proč nejde?
12:30 mornfall díval jsem se na releng/make.sh, ono to asi docela spoléhalo na nix a že ten build strom bude tím pádem čistej
12:32 mornfall je otázka jestli nějak ohýbat cmake nebo si to prostě nějak vyrobit
12:35 xstill_ buildbot má taky čistej build strom, jen není tak izolovanej jak v nixu
12:36 xstill_ (nemusí být, ale je tak nastavenej, že vždycky buildí načisto)
12:40 mornfall jo to jsem tím nemyslel... ten skript co vyráběl release se nepouštěl z hydry
12:41 mornfall jen používal nix
12:43 mornfall domlouvat se s buildbotem z cronjobu aby mi spustil nějakej jinej skript a já si počkal na výsledek by ničemu nepomohlo
20:42 yaqwsx joined #divine
21:24 yaqwsx_cz joined #divine
22:10 yaqwsx_cz Otázka: Na parsování sysoptů v DiOSu používám std::string, který občas chce alokovat paměť pomocí new. Což ale znamená, že se volá syscall v kernel space.
22:10 yaqwsx_cz Je záměrné chování nedovolit syscally v kernel space?

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