Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-10-03

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

All times shown according to UTC.

Time Nick Message
07:43 yaqwsx joined #divine
08:14 mornfall yaqwsx: a nenapsal vůbec nic jinýho?
08:15 yaqwsx ./divine compile --llvm /mnt/hgfs/Paradise/SymDivine_Vojta/test_programs/pointers2/main.cpp LLVM is disabled Exiting after receiving fatal error.
08:17 mornfall "LLVM is disabled" mi přijde jako dost jasnej hint :-)
08:17 mornfall musíš zapnout GEN_LLVM, resp. on je zaplej defaultně, ale configure asi nenašel llvm-config
08:19 mornfall jo s jakou verzí LLVM máš přeloženej symdivine?
08:20 mornfall (protože pokud to není 3.3 nebo 3.4 tak si asi divinem moc nepomůžeš)
08:24 yaqwsx Mám teď aktuálně verzi 3.5 - díky za nasměrování.
12:56 xpetkan joined #divine
12:57 xpetkan joined #divine
12:57 peteru_ joined #divine
17:18 spito jak rychle se synchronizují home mezi anteou a arke?
17:19 xstill oni se nesynchonizují tak úplně, je to ten samý filesystém
17:20 xstill spito: jakože třeba souborové zámky možná fungovat nebudou, a pokud budeš zapisovat paralelně tak to taky nebude dobré, ale jinak by to snad pozoorovatelné zpoždění mít nemělo
17:24 spito no to já vím, jen je mi trochu divný, že nahraju soubor na anteu a objeví se na arke až potom, co se vrátím ze záchodu :D
17:25 xstill nějakej bug asi zase :-/, zkusím to zreprodukovat
17:42 xstill asi se budu muset zeptat Tomáše jak to dělaj, že fakutlní NFS celkem funguje
17:43 spito ale to je jedno, jsem zase našel bug ve VS2015
17:43 spito a kdyby jeden :D
17:43 xstill co veselého soudruzi v ms nezvládly?
17:46 mornfall snad soudružky :-P
17:47 xstill třeba jsou soudruzi neživotní, ale to asi ne…
17:56 spito http://pastebin.dqd.cz/izSY/
17:56 spito z toho prvního se osypal, to druhé mu nevadilo.... já funkční rozdíl (až na jeden static_assert) nevidím
18:01 xstill co to dělá? ICE?
18:02 xstill rozdíl bude tipnul bych si v tom, že to první je C++11 featura a maj to zabagovaný
18:02 spito ne, compile error, někde to poztrácí const při instanciaci
18:02 spito tak ono já to používal v std::enable_if
18:03 spito a když jsem mu předhodil "const auto &" tak byl hned spokojený
18:04 xstill wtf
18:05 xstill jakože je list::Get< N, Columns... >::Type dává const něco & a to první GetColumn něco &
18:05 xstill ?
18:05 xstill -je
18:14 yaqwsx joined #divine
18:14 yaqwsx Můžu ještě dotaz na LLVM? Trochu s ním bojuji. Přechod Symdivinu na verzi 3.4 není tak bezbolestný, jak jsem čekal. Nedaří se mi jej slinkovat : "undefined reference to `llvm::Type::getScalarSizeInBits() const'" - tato metoda v dřívějších verzích nebyla? Ldflagy beru z llvm-config --libs core irreader a llvm-config --ldflags
18:16 xstill yaqwsx: na čem běží symdivine teď?
18:17 xstill yaqwsx: portovat na starou verzi llvm není asi nejlepší nápad, spíš máš šanci vykuchat divine tak aby compile běžel s novějším llvm
18:18 yaqwsx Momentálně jsem běhal na llvm 3.5
18:18 yaqwsx Ale mám pocit, že když jsem ho zdědil, tak běhal na llvm 3.3.
18:18 xstill jo, ale jít zpátky bude hrozně bolet v podstatě pro žádný užitek
18:18 yaqwsx A na problémy s touto metodou si nevzpomínám... :/
18:19 xstill ale getScalarSize tam někde ale bylo v 3.4, já to používal
18:19 yaqwsx Jasně, spíše teď řeším, že vykuchat divine mi zabere mnohem více času než udělat krůček o jednu verzi zpět.
18:20 xstill ten krůček byl dost velkej mezi 3.4 a 3.5 co vím
18:20 xstill počkej, ono reálně půjde o to zmastil CMake tak aby ti zkompiloval jen compile s llvm, ale ne generátor
18:20 xstill zkusím to udělat, to musí být na 10 minut
18:20 xstill a pošlu ti pathc
18:21 yaqwsx Wow, to by byla bomba!
18:44 mornfall xstill: no, brick-llvm potřebuješ aby fungovalo
18:45 xstill už jsem na to taky přišel
18:45 mornfall a já to furt nemam zarecordovaný :|
18:45 xstill ale v pohodě
18:45 xstill co nemáš?
18:45 mornfall no ty 3.7 věci
18:45 mornfall teda zrovna tohle asi funguje v next-u
18:45 mornfall ale to možná zase nebude s 3.5
18:46 xstill compile v nextu funguje
18:46 xstill teda myslím
18:46 mornfall já taky myslim
18:46 mornfall jo funguje
18:51 xstill hm, ještě to přesvědčit aby se to slinkovalo
18:51 xstill teda dostalo vůbec přepínač na likování s llvm
18:52 xstill aha, ono totiž ty závislosti jsou lehce pošahaný
18:55 xstill kecám
18:56 xstill už to jede, zbývá vyzkoušet
18:58 xstill yaqwsx: https://paradise.fi.muni.cz/~xstill/tmp/gut-compile-to-work-with-llvm-3_5_.dpatch
18:59 xstill následně darcs apply na to
18:59 xstill a konfigurovat s -DGEN_LLVM=OFF -DGEN_LLVM_CSDR=OFF -DGEN_DVE=OFF -DGEN_CESMI=OFF -DGEN_TIMED=OFF -DGEN_EXPLICIT=OFF -DGEN_DUMMY=ON -DALG_OWCTY=OFF -DSTORE_COMPRESS=OFF -DTRANSFORM_POR=OFF -DTRANSFORM_FAIR=OFF -DALG_REACHABILITY=OFF -DOPT_SIMULATE=OFF -DOPT_DRAW=OFF -DALG_CSDR=OF
18:59 xstill u mě to produkuje validní bitcode s llvm 3.5
19:00 xstill takže to snad funguje
19:05 xstill a tvralo mi to jen 3x tak dlouho než jsem si myslel, to není špatný na to, že jsem za posledních 36 hodin spal tak 4 hodiny
19:09 mornfall snad ne diplomka?
19:12 xstill ne, to zatím nehrozí že bych spánek vynechával kvůli diplomce
19:14 yaqwsx Jak jste dopadli na iNule?
19:15 yaqwsx Jinak díky za patch, hned vyzkouším
19:21 xstill yaqwsx: nejsme v prvních 8, víc zatím nevím (měli jsme dost nápověd a 3 totálky, takže to až taková sláva nebude, ale došli jsme do cíle a dali cílové heslo :-}), mě se to líbilo a myslím že ostatním z týmu taky, i když tam bylo dost haluzení a dvakrát se nám teda stalo, že jsme vyluštili něco jinýho, ale naštěstí nás to neposlalo na opačnou stranu Brna :-D
19:36 yaqwsx Asi je nějaká špatná konstelace hvězd, ale nedaří se mi nakolonovat diviní repo...
19:36 yaqwsx darcs failed:  Couldn't fetch `0000011828-5d26e58cde8b74d06c9b53e12e932ada13610ad52943d26ec198e566fa56b739' in subdir patches from sources:  thisrepo:/home/honza/divine cache:/home/honza/.darcs/cache repo:http://divine.fi.muni.cz/darcs/mainline   HINT: I could not reach the following repository:         http://divine.fi.muni.cz/darcs/mainline       If you're not using it, you should probably delete       the corresponding entry from
19:37 xstill yaqwsx: zkus --no-http-pipelining
19:37 yaqwsx S tím to spouštím.
19:37 xstill může to být bug ve starším darcsu
19:37 xstill aha
19:38 yaqwsx darcs mám verzi 2.10.1
19:38 xstill v tom případně zkus darcs pull antea.fi.muni.cz:/home/xrockai/dev/public/divine/mainline
19:39 xstill ale je to dost divný, protože já jsem teď normálně darcs get na mainline udělal (přes http)
19:43 yaqwsx A jak se na tu anteu autentizuji?
19:44 xstill normálně přes username a heslo (je to pull přes ssh)
19:44 xstill teda chceš darcs get, ne darcs pull
20:07 yaqwsx A darcs nějak automaticky přebírá username? Protože chce po mě jenom heslo
20:09 xstill normálně ssh věci přebírají username, můžeš udělat username@antea…
20:43 yaqwsx Ahá, to běží přes ssh. To lecos vysvětluje. Díky. Každopádně Divine se stále brání (i když teď je určitě chyba u mě) - nemůže najít spoustu knihoven. Např. LLVMNVPTXDesc, LLVMSparcDisassembler apod.
20:44 mornfall yaqwsx: musíš mu podstrčit správnej llvm-config
20:44 mornfall buď v ccmake nebo -DLLVM_CONFIG_EXECUTABLE nebo tak něco
20:45 yaqwsx Momentálně mám v path llvm-config na 3.5
20:45 xstill to je divný, s tím mi to fungovalo
20:45 mornfall a hlásí správný cesty a seznamy knihoven a tak?
20:45 xstill jak se ten llvm config jmenuje?
20:45 yaqwsx llvm-config
20:45 xstill aha, tak to pak jo
20:46 xstill (llvm-config-3.5 by to asi nenašlo
20:46 xstill ale to zjevně není ten případ
20:46 yaqwsx Používám update-alternatives z Ubuntu na přepínání verzí.
20:46 mornfall tak nějaký llvm to našlo
20:47 mornfall yaqwsx: si vypiš llvm-config --libs a llvm-config --ldflags a ověř že všechno existuje kde/jak má
20:48 xstill spito: ten tvůj student měl tuhle takovej nějakej podobnej problém, ne? pamatuješ si co to bylo?
20:48 yaqwsx Všechno vypadá OK: http://pastebin.com/qk25AaYN
20:49 spito vyřešili jsme to tak, že si to zkopíroval z jinýho svýho repa
20:49 xstill yaqwsx: tuším že budeš muset udělat cmake <cesta k divine> -DCMAKE_LINK_FLAGS="-L/usr/lib/llvm-3.5/lib"
20:49 spito (ad darcs)
20:49 xstill já myslel ty link flags
20:49 xstill yaqwsx: kecám, ten flag se jmenuje jinak
20:50 spito ad llvm - tam šlo pak dát něco jako llvm-config-3.4
20:50 xstill yaqwsx: -DCMAKE_EXE_LINKER_FLAGS=…
20:53 mornfall xstill: to je trochu nesmysl ne?
20:53 xstill mornfall: proč?
20:53 mornfall yaqwsx: ale jestli jsi to měl předtím s 3.4 a jen jsi to rekonfiguroval, tak musíš buď smazat CMakeCache.txt nebo v ccmake 'd' (delete) LLVM_*
20:54 xstill mornfall: reálně u toho studneta se dělo to, že mu cmake nenašel ty knihovny v /usr/lib/llvm…
20:54 mornfall xstill: protože ty --ldflags z llvm-config se normálně použijou
20:57 mornfall (jako workaround na nějakej bug by to zabrat mohlo, ale jinak to je dost nebezpečný řešení)
20:57 xstill yaqwsx: případně mi pastni někam konec výstupu z make VERBOSE=1 poud to nepomůže (ať je tam vidět linkování)
20:58 mornfall ono jak se jednou nakonfiguruje, tak změnit llvm-config nestačí; to je na cmake-u trochu zákeřný
21:00 yaqwsx Skouším to, co jste mi poradili, uvidíme, jak to dopadne.
21:02 yaqwsx joined #divine
21:02 yaqwsx *Zkouším
21:17 yaqwsx Když jsem to zkusil kompilovat s VERBOSE, tak je vidět, že se skutečně chybí cesta k LLVM knihovnám.
21:19 xstill yaqwsx: tak přihoď ten flag, proč to chybí můžeme řešit později
21:19 xstill asi tě pak budu otravovat abych si u tebe vyzkoušel opravu
21:20 yaqwsx Pokud ho přihodím CMaku, tak na mě zařve: "  Manually-specified variables were not used by the project:
21:20 yaqwsx CMAKE_LINKER_FLAGS"
21:20 yaqwsx Beru zpět, má chyba!

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