Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2016-07-19

| 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/
10:14 xstill mornfall: a přijedeš vůbec zítra když máš vytržené zuby?
11:10 mornfall jo přijedu
11:36 xstill tak jo, kdy tak dorazíš?
11:42 mornfall 9:15 plusminus
11:43 xstill to bych možná mohl zvládnout
12:23 xstill mech, ten buid DIVINE se zdá se rozpadne pokud mám systémové libc++
12:49 mornfall to by se úplně nemělo dít
14:00 xstill no ale děje se to protože to nějak chytne i tu systémovou
14:00 xstill a ona redefinuje to z té naší
14:02 xstill ono se to totiž děje s libc++ 3.8, která podobně jako nová libstdc++ má i math.h a podobně, které mají include_next na systémové
14:02 xstill takže include <math.h> z <cmath> v naší libc++ se rozbije
14:18 xstill http://libcxx.llvm.org/docs/UsingLibcxx.html#getting-started druhý šedý box
14:20 xstill to funguje ale stěžuje si to na nepotřebné přepínače
14:22 xstill což je ale obávám se chyba clangu 3.7
14:23 xstill asi bych ten warning teď neřešil, protože jediná alternativa by asi byla vyplňovat -l ručně
14:23 xstill což se mi moc nechce
14:25 xstill btw. llvm 3.9 bude zdá se na konci srpna (takže asi nemá žádný smysl teď zkoušet 3.8)
15:16 xstill mornfall: proč máme vlastně clang v top level a ne v llvm/tools tak jak to má oficiálně být?
15:32 mornfall protože pak je to zakopaný neprakticky hluboko
15:32 mornfall hlavně pro ty z nás co používáme include/ jako dokumentaci
15:33 mornfall clang/include/clang/X/Y.h je už tak dost, ne ještě llvm/tools/clang/include/clang/X/Y.h
15:34 mornfall warning bych taky neřešil
15:35 xstill OK
15:35 xstill ptal jsem se proto, že jsem chtěl přidat compiler-rt (kvůli sanitizeru) a ted moc venku ze stromu buildit nejde, ale zkusil jsem nechal clang venku a compiler-rt dát dovnitř, zatím to vypadá nadějně
15:36 mornfall já bych dal compiler-rt do runtime/ ale je pravda že vyzkoušený to nemam
15:36 mornfall (zatím se všechno nějak podvolilo)
15:37 xstill on se dost vzpouzí, moc se mi nechce zkoumat celej ten jejich cmake podrobně
15:38 xstill on totiž používá docela dost definic co nastavuje cmake v llvm
15:38 xstill třeba TARGET_TRIPLE, kterou moc není kde jinde dostat
15:38 xstill respektive, on má i standalone build, ale ten má zas závislost na llvm-config
15:38 xstill takže to by byla další etapa buildu
15:59 xstill hm, ale nefunguje to
16:04 xstill ale TRIPLE jsem nakonec našel
16:09 mornfall co nefunguje?

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