Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-10-30

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

All times shown according to UTC.

Time Nick Message
00:30 ilbot3 joined #divine
00:30 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
01:00 spito mornfall: hmm, tak clang mi zatím nejde přeložit
01:01 spito že prý llvm-tblgen nejde přeložit
02:47 ilbot3 joined #divine
02:47 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
07:40 mornfall to ve dvě ráno nemůže fungovat :D
13:49 xstill mornfall: přeješ si nebýt spojován s sv-compem?
14:26 mornfall xstill: to mi nevadí, dokud to neznamená trávit větší množství času věcma který k ničemu jinýmu nejsou
17:05 xstill spito: asi ještě nemáš clang modul, co? :-D
17:06 spito :P
17:06 spito co, ty už ho máš?
17:06 spito ne, nemám
17:06 xstill nemám, ale budu ho potřebovat, během příštího týdne, takže když ho neuděláš, tak si ho budu muset udělat
17:07 spito pracuju na tom
17:07 spito ale jdu na to od lesa - nejdřív gcc5.2
17:07 xstill ok
17:07 spito a to potřebuje nějaké knihovny
17:08 spito takže nejdřív buildím je
17:08 xstill já zbuildil llvm-3.7 a clang (s libstdc++) ale na nymfe
17:08 xstill fakt to to gcc nedává?
17:09 mornfall 4.8 by mohla (teda 4.9 to dala)
17:09 spito no linker nedohledal symboly v buildu llvm-tblgen
17:10 mornfall to ti asi vyměnit gcc úplně nepomůže, to bude jinej problém
17:13 spito no to je možný, že jsem trdlo
17:32 xstill spito: a to gcc už máš?
17:32 spito ne, chybí mi flex
17:32 xstill a není třeba v modulu?
17:32 spito je
17:33 xstill já si nic nedoinstalovával kvůli té 4.8
17:33 spito jenom se mi zastavil build
17:42 spito hmm, když jsem gcc nastavil prefix na /packages/..., tak se mi odmítne přložit
17:42 spito *přeložit
17:43 spito nebo ten prefix se má nastavovat až předtím, než se jde na make install?
17:43 mornfall prefix se nastavuje v ./configure chlapče :-)
17:43 xstill prefix musíš nastavit při configure, ale make by ovlivnit neměl
17:43 spito to jsem taky udělal
17:44 mornfall vidím že to bude ještě boj
17:45 spito http://pastebin.dqd.cz/8qk2/
17:46 xstill spito: rozhodně nechceš mít lib v /packages/share
17:46 xstill ani bin
17:46 xstill vlastně tam nechceš mít vůbec nic, je to jednodušší
17:46 spito tak kde to chci mít?
17:47 xstill chceš to mít v /packages/run.64/… nebo tak něco viz technické informace k modulům na webu
17:47 spito no, to je ale vcelku jedno, když se mi to ani nepřeloží :)
17:47 xstill jasně, ale až se ti to přeloží tak to budeš muset celé udělat znovu
17:47 xstill když to nezměníš
17:48 xstill gmp a mpfr asi nechceš požívat takto, ale gcc má nějaký script kdesi který je umí stáhnout a zbuildit s ním
17:48 xstill (+ mpc)
17:50 xstill a buildíš to doufám na aise?
17:50 spito jop
17:50 xstill asi unloadni to předchozí gcc
17:51 spito nemám ho tam
18:17 mornfall xstill: píšeš si s tou Iqrou?
18:25 spito mornfall: když dělám konfiguraci clangu+llvm, stačí to nechat, tak jak to je, se změnou prefixu a debug->release?
18:26 mornfall skontroluj si C(XX)FLAGY
18:26 mornfall nedávalo mi to tam -O2 ani v release
18:27 xstill mornfall: psal, ale teď to nějak nestíhám
18:29 spito mornfall:  tady je cxx_flags_release: -O3 -DNDEBUG
18:29 spito to by mohlo stačit, ne?
18:29 mornfall jo to by mohlo
18:33 spito llvm-3.7.0.src/projects/compiler-rt/lib/builtins/x86_64/../int_endianness.h:113:2: error: #error Unable to determine endian
18:33 spito dafuk toto
18:35 mornfall no jde ti to koukám :D
18:37 spito co je nejlepší řešení? definovat mu endianitu v cmake?
18:37 xstill máš to nějaký hrozně rozbitý
18:37 spito ale gcc se spořádaně kompiluje
18:40 spito heh, nějaká rada, jak by se to dalo rozuně vyřešit?
18:46 mornfall no, vypátráním příčiny
18:49 spito asi jsem na to kápnul - blbá verze gcc
19:33 spito je dobrý nápad kompilovat clang a llvm spolu s lld a lldb?
19:37 mornfall neudělá to rozdíl
19:37 mornfall lld se nepoužije
19:37 mornfall a lldb si můžeš spustit ale nevim no
19:37 mornfall něco je lepší, něco je horší než gdb
19:38 mornfall a ovládá se to úplně jinak
20:01 spito a libunwind?
20:02 mornfall nevim, záleží jak moc nezávislej od systému chceš být
20:02 mornfall nějakej systémovej unwinder tam určitě je
20:03 mornfall když vezmeš libunwind, libc++abi a libc++ a compiler-rt, mělo by to celý záviset jen na libc
20:03 mornfall když se to pak správně použije teda
20:03 spito no tak když mám clang hotový, co bych chtěl udělat?
20:04 mornfall ideálně to přeložit celý ještě jednou tím novým clangem a přeinstalovat to
20:04 spito a nastavit tomu libc++
20:04 spito ?
20:04 mornfall pak by to celý mělo být samonosný (a nezávislý na tom gcc 4.8 modulu)
20:04 spito ok
20:04 mornfall (a ano nastavit tomu libc++)
20:04 mornfall musíš tomu nějak propašovat -isystem/-L a tak
20:05 mornfall resp -I to je fuk
20:07 spito eh, -L je k čemu?
20:09 mornfall no on ten clang sám od sebe neví kde má hledat tu libc++ cos přeložil
20:09 mornfall a nainstaloval někam do háje
20:09 mornfall (zejména ne do /usr/include)
20:11 mornfall jo, taky bys asi měl opatchovat driver aby ten výslednej clang věděl co a jak
20:11 spito to znamená co?
20:11 mornfall nebo ho teda zawrapovat do shellscriptu co ho nasměřuje na to /modules/...
20:12 spito make install nestačí?
20:12 mornfall spíš nestačí
20:13 spito a to asi nestačí ani u toho gcc, co,
20:13 spito ?
20:13 mornfall to fakt nevim
20:13 mornfall zkusil bych -dumpspecs
20:14 spito parametr pro koho?
20:14 mornfall gcc
20:17 spito a z toho zjistím co?
20:20 mornfall možná by tam mohlo být vidět jestli to ukazuje na ten jeho modul
20:20 mornfall ale možná taky ne
20:20 spito nic takovýho jsem tam nezahlídl
20:20 mornfall jo to je totiž -print-search-dirs
20:21 spito jo, tam to je
20:24 spito tak to gcc-5.2 se kouká i do gcc-4.8.2
20:25 spito to asi není úplně dobře, že?
20:25 mornfall no, ideální to asi není, otázka je v jakým pořadí
20:26 spito nějaký tip na to, jak to změnit?
20:38 spito ne, je to v pohodě, to tam docpal aktuální modul
22:03 xstill spito: k čemu jsi došel?
22:04 spito že nemůžu vytvoři modul
22:04 spito že na modul gcc nemám práva či co
22:14 spito xstill: kompiluješ si to radši sám? :D
22:14 xstill zkusím to, uvidím jestli se dostanu dál :-D
22:15 xstill potřebuju funkční kompilátor co pojede na nymfe a bude umě -std=c++14
22:15 xstill na překlad divine
22:19 spito tak mně ten clang funguje
22:20 xstill takže jsi ho nakonec zkompiloval?
22:20 spito jasně, 2x
22:21 spito ale pořád je nějak jetej linker
22:21 spito snaží se libc++ linkovat vůči libstdc++
22:21 xstill aha
22:23 spito ani změna PATH mi nepomáhá zatím
22:26 xstill aha, já jsem zkončil už na configure toho LLVM :-D
22:27 xstill že prej compiler neumí atomic
22:27 spito se tak stane
22:28 xstill přitom to umí
22:29 xstill no, protože ten gcc modul neexportuje cc
22:36 spito to jsem taky měl :)
22:36 spito pak už to půjde
22:36 spito ale nemůžu přijít na to, proč se to nelinkuje
22:44 spito tak změna, ono se to linkuje dobře
22:44 spito ale clang nenajde cestu ke svým knihovnám
22:53 xstill jo, a já i vím proč
22:54 xstill protože to zatracený gcc v modulu používá LD_LIBRARY_PATH
22:54 xstill a cmake ho asi někde unsetne
22:55 xstill aha nepužívá
22:55 xstill ale ne, mě to sežral screen
22:57 spito done, umláceno
22:57 spito :D
22:58 xstill jakože máš llvm modul jo?
22:58 xstill to mě neštvi, mě se zrovna začalo dařit :-D
22:59 xstill ale ne, pokud ti to funguje tak jsem rád, že se s ním nemusím štvát :-)
22:59 spito ale teda je to v hrozném stavu - dohackované globální proměnné, aby se všechno našlo tam, kde se to najít má
22:59 xstill cože?
23:00 spito step1 - clang s libstdc++
23:00 xstill sakra, je zítra
23:00 spito step2 - clang přeložený sám sebou, ale s libc++
23:03 spito čas na oběd :D
23:03 xstill a ten výsledek ani binárky co to vyprodukuje nelikují libstdc++ jo? Máš to někde?
23:03 xstill máš zajímavý denní režim :-D
23:03 spito /home/xweiser1/llvm/install/bin/clang++
23:04 spito ale je potřeba modifikovat CPLUS_INCLUDE_PATH a LD_LIBRARY_PATH
23:04 spito a tak...
23:04 xstill to moc nefunguje popravdě, prože to potřebuje pořád libstdc++
23:04 xstill /home/xweiser1/llvm/install/bin/clang++: /usr/lib64/libstdc++.so.6: version `GLIBCXX_3.4.14' not found (required by /home/xweiser1/llvm/install/bin/clang++)
23:04 spito -stdlib=libc++ -lc++abi
23:04 xstill no to se stane když pustím ten clang
23:04 spito jo, samo o sobě to potřebuje module add gcc-4.8.2
23:05 xstill to je nemilé
23:05 spito ale to je bootstrap krok 1
23:05 spito počítám, že ve druhém kroku se to opraví
23:11 xstill mornfall: jak ty jsi to udělal v tom nixovém balíčku, že to nepotřebovalo -stdlib=libc++?
23:22 xstill a já mám stage1 compiler, tak nevím jestli mám pokračovat nebo plýtvám časem protože to uděláš
23:23 xstill každopádně moje libc++/abi neliknují libstdc++
23:32 spito potřeboval jsi nastavovat něco speciálního?

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