Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-07-23

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

All times shown according to UTC.

Time Nick Message
06:54 xstill je to docela peklo, z modelu co má 251 stavů v SC verzi jsem s 1 store bufferem už na auře od včerejška vygeneroval přes 2 miliardy stavů, to těch experimentů moc neuděláme
07:45 xstill to jsem zvědavej jak to té zbývající půlstránky narveme vyhodnocení, obrázky, tabulky a závěr
08:50 mito_ joined #divine
09:08 spito xstill: jak kompiluješ na OS X DIVINE?
09:26 xstill v podstatě stejně jak na linuxu. Nějakej problém?
09:27 xstill spito: možná třeba vypnout murphi
09:28 spito ale macports
09:28 spito a taky nefunkční cmake
09:29 spito llvm stačí normální, nebo nějaká vývojářská verze
09:30 xstill jo tak to ti neporadím, na tom macu llvm bylo (3.4 z macports), clang byl normálně systémový myslím (3.4), a cmake instaloval Tomáš z macports
09:31 xstill potřebuje tam mít llvm-config (luna01 má  llvm-config-mp-3.4)
09:32 xstill Tomáš Szaniszlo by mohl poradit, pokud Katka neví jak se jí na to něco instaluje…
09:42 spito llvm-config je potřeba kde?
09:42 spito krom toho - cmake zapisuje konfigurační soubory do špatného adresáře, jde ho nějak přesvědčit?
09:44 xstill llvm-config potřebuje cmake aby věděl kde je llvm
09:44 xstill no cmake pustíš v tom adresáři kde má zapsat konfiguraci a dáš mu cestu ke kořenovému adresáři zdrojáků
09:49 spito a když jsem zadal přímo cestu k llvm složkám?
09:49 spito a to vím, ale Katce se to tak neděje
09:50 spito když cmake spustim ve složce _build, tak to vygeneruje do ../ (kde je shodou okolností divine)
09:50 spito dojdeš na fi?
09:50 xstill no pokud už má něco nakonfigurované tak to může být problém, možná ten _build smazat a pak to zkusit znova nakonfigurovat
09:50 xstill dojdu na FI nejdřív za hodinu
09:50 xstill spíš pozdějš
09:50 spito _build je prázdný
09:51 xstill a cmake .. v _build teda vygeneruje CMakeCache.txt kam?
09:52 xstill spito: nebo ať zkusí cmake _build ve složce s divine
09:53 xstill kam jsi zadal cestu k LLVM?
09:53 xstill ono je potřeba kdyžtak zadat cestu k llvm-config (LLVM_CONFIG_EXECUTABLE)
09:53 xstill ono to odtam totiž tahá i nějaké flagy a tak
09:54 spito a kde zjistím, kde to je?
09:55 xstill napíše llvm-config a zmáčkne tabulátor, pokud to má nainstalované, mělo by to být v path
09:55 xstill (ale pak by to divine našel i sám snad)
09:56 xstill teda ten tab proto aby se našel celej název, jinak pak which
09:56 xstill případně ať se podívá do /opt/local/bin/
09:57 xstill (tam to asi macports instaluje, ale měla by to mít v path, pokud chce aby to pořádně fungovalo)
10:01 spito na co je potřeba PKG_CONFIG_EXECUTABLE?
10:04 xstill na hledání některých balíků, ale pochybuju, že je moc potřeba, na nixosu myslím moc nefunguje
10:04 xstill posunuli jste se někam?
10:06 spito už běží make
10:06 xstill supr, a našlo to llvm jo?
10:12 spito já jsem ho našel
10:12 spito :D
10:13 xstill :-D
13:02 mito_ joined #divine
13:41 spito mito_: ty stejně budeš chtít jenom LLVM
13:41 spito to znamená, že můžeš vypnout všechny algoritmy až na reachability
13:42 spito ALG_REACHABILITY=ON
13:43 mito_ :) dobre vedieť, ja som si tam nechal všetko podľa defaultnych nastavení
13:43 spito DEV_*=OFF
13:44 spito GEN_LLVM=ON, ostatní GEN_*=OFF
13:44 mito_ ls
13:45 mito_ :D sorry nejak mi usiel bash
13:45 spito OPT_SIMULATE=ON (není nutné)
13:45 spito OPT_TBBMALLOC=ON
13:46 spito OPT_DRAW=ON (teda pokud si chceš kreslit grafy, což spíš nechceš)
13:46 spito ostatní OPT_*=OFF
13:47 spito STORE_COMPRESS=ON
13:47 spito TRANSFORM_POR=ON
13:47 spito STORE_HS=OFF (to ani nefunguje)
13:47 spito TRANSFORM_FAIR=OFF (to taky nefunguje)
13:52 mito_ dik, :) uz som to ponastavoval
13:54 spito toto nastavení ti taky udělá divine build menší a rychlejší

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