Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2016-05-03

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

All times shown according to UTC.

Time Nick Message
01:47 ilbot3 joined #divine
01:47 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
08:22 xstill mornfall: asi ještě nemáš CMake s hledáním clangu, že?
11:55 mornfall no ja uz ho prave nehledam
11:55 xstill libclagnu jsem myslel
11:58 xstill prostě potřebuju klihovny pro clang takovým způsobem jak pro LLVM dává llvm-config
12:15 mornfall vsak jo, libclang si prekladam s divinem
12:16 mornfall to musi byt prelozeny proti odpovidajicimu llvm
12:56 xstill no to vím
12:56 xstill ale tak když ho nehledáš tak nic
14:47 xstill btw. víš o tom, že build LLVM potřebuje přes 10 GB místa, jo?
14:48 xstill pořád si myslím, že by bylo dost přínosný pokud by divine šel zbuildit i proti systémovýmu LLVM pokud bude ve správné verzi
14:48 xstill rotože jinak to bude dost otravné pro lidi kteří ho chtějí jen používat nebo dělat s userspace a budou kvůli tomu potřebovat buildit 4 hodiny LLVM
14:49 xstill +p
16:28 xstill tak divinecc už dokáže zkompilovat knihovny \o/
16:28 xstill a ačkoli neumí paralelní kompilaci tak běží asi rychlejš než divine compile -j 4
16:29 xstill fork je asi fakt dost drahej
16:35 xstill a nebo zapisování toho všeho bordelu na disk spíš
17:17 xstill jen to teda produkuje podezřele malé soubory
17:17 xstill jedině že by to bylo tím, že jsem nechal zoptimalizovat celé knihovny
17:31 xstill to je dobrý, buildil jsem si debug llvm a selhaly tomu testy
17:44 mornfall pro lidi co to chcou jen pouzivat byl vzdy nejvetsi problem to nakonfigurovat
17:48 mornfall asi ti nic nebrani instalovat nejakej buld primo do systemu
17:48 mornfall build
17:49 mornfall a kdo to chce na laptop tak bude s externim llvm trpet spis vic nez min
18:44 mornfall (na druhý straně samozřejmě přidat jeden if do cmakelists je nejmíň, jen se o to bude muset někdo starat aby to fungovalo)

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