Ze starych povesti ceskych: O Schemikovi (diskuse)

[Michal Vyskočil]

Nedaří se mi to přeložit na 64bitech (na 32bitu to funguje). Scons pořád vrací

Checking for C library gc... no
Did not find libgc or gc/gc.h, exiting!

Předpokládám, že se snaží přeložit testovací program oproti /usr/lib a já nejsem schopný ho přesvědčit, aby používal lib64. Ani podle dokumentace a hledání na webu jsem na nic nepřišel. A debugovat scons, jak se snaží přeložit testovací program, je skoro nemožné. V tomto jsou autotools přímočarejší.

[Tom]

V tom porovnání jsou některé položky s hvězdičkou a chybí u nich (nenašel jsem) legenda.

Tom

[deda.jabko]

jojo... to je vicemene z historicky duvodu... cca pred rokem, kdyz vznikla ta tabulka poprve, tak byl schemik sice lepsi nez tinyscheme nebo minischeme.... ale opravdove ,,velke interpretry'' porazel jenom v rychlosti prace s kontinuacemi. takze jsem si tam udelal hvezdicky, ze je lepsi nez guile nebo mzscheme, abych to mohl vypichnout v clanku, co jsme o schemikovi psali. jak sel cas, tak zacal byt i lepsi v dalsich testech... tak jsem tam pridaval dalsi hvezdicky. jedna hvezdicka teda znamena, ze je lepsi nez guile nebo mzscheme. dve, ze je lepsi nez oba dva.

[petr_p]

Příloha:

• schemik-1.2.34.1.ebuild (765 bytů)

Udělal jsem balíček pro Gentoo (přikládám) založený na makefilu a mám pár balíčkovacích komentářů:

Místo gcc je lepší použít impicitní proměnnou $(CC) (vizte sedový skript v ebuildu).

Optimalizační a ladicí volby (-g -02) byste mohl vyhodit do samostatné proměnné.

GCC hrozí, tak to přeposílám vám:

 * QA Notice: Package has poor programming practices which may compile
 *            fine but exhibit random runtime failures.
 * scheme.tab.c:1313: warning: implicit declaration of function ‘yylex’
 * scheme.tab.c:1563: warning: implicit declaration of function ‘yyerror’
 * scheme.tab.c:1313: warning: implicit declaration of function ‘yylex’
 * scheme.tab.c:1563: warning: implicit declaration of function ‘yyerror’
 * lex.yy.c:1549: warning: implicit declaration of function ‘fileno’
 * lex.yy.c:1549: warning: implicit declaration of function ‘fileno’
 * functions.c:403: warning: implicit declaration of function ‘usleep’
 * schemik.c:196: warning: implicit declaration of function ‘readlink’

Taky jste mohl napsat, že kompilace pomocí GCC na i686 sežere 116 MB ;)

[Ladicek]

Svinský Flex a Bison! Ostatně nechápu, k čemu tady jsou, pokud se pamatuju, můj ručně psaný parser Lispu měl v Object Pascalu (Delphi 6) asi 100 řádek…

[deda.jabko]

jo... na flex a bison uz nadavam hodne dlouho... ale pro C bohuzel ted neexistuje rozumna alternativa.

Ostatně nechápu, k čemu tady jsou, pokud se pamatuju, můj ručně psaný parser Lispu měl v Object Pascalu (Delphi 6) asi 100 řádek…

no... to jsou zase spis historicke duvody... napsat to rucne by bylo asi trivialni... jenomze, kdyz jsem ten program zacinal, tak jsem potreboval rychle udelat prevod z textove reprezentace do interni reprezentace... tak jsem to narychlo sesmolil ve flexu a bisonu... no a jelikoz to vsechno funguje (jakz takz) tak se mi do toho uz nechce hrabat... ale je mozne, ze to casem uplne vyhodim... ted mam ve fronte mnohem zajimavejsi ukoly...

[mimi.vx]

zkus to dat do sunrise overlay

[petr_p]

#261206, ale tlačit to dál asi nebudu. Nechce se mi žadonit o heslo a idlit na IRC. (Ještě bych musel hledat nějakého IRC klienta, když mi bitchx vyhodili z portage.)

[Scarabeus IV]

Popravde vetsinou zarazeni baliku do sunrise trva hodinku pokud sou v nem chyby a je kolem dev (coz je pro tebe celkem snadny protoze ses ve stejny timezone jako ja a v podvecir u pc proste sedim :D)

[deda.jabko]

diky

[deda.jabko]

Místo gcc je lepší použít impicitní proměnnou $(CC) (vizte sedový skript v ebuildu).

to uz jsem si tolikrat rikal, ze to mam opravit a nikdy se na to nedostalo. ok. upravim.

GCC hrozí, tak to přeposílám vám

o tom vim... to bohuzel dela bison... jak psal nekdo o neco niz...

Taky jste mohl napsat, že kompilace pomocí GCC na i686 sežere 116 MB ;)

hee! vezne?! to jsem ani netusil... no, ono je to zpusobene asi tim, ze v jedne casti agresivne inlinuju obrovske funkce. ta cast je zrala na prepsani... jenomze alternativou ke zmeti inlinovanych funkci by byla zmet goto... tak se do toho moc nehrnu. :-]]

[David Watzke]

jenomze alternativou ke zmeti inlinovanych funkci by byla zmet goto... tak se do toho moc nehrnu. :-]]

<joke> By to pak vypadalo jak Linux </joke>

[Nikola Ciprich]

koukam ze to taky v dlouhych zimnich vecerech studujes to je maso co?

[Scarabeus IV]

Scons fakt nee... Neznam vetsi peklo nez pri balickovani programovat regulerni python...
autotools nebo cmake jsou opravdu primitivni na nahozeni a fungujou celkem odhodlane a nadsene a nezpusobi to 90% populace balickaru bolesti hlavy :]

[deda.jabko]

to je aspon spravny nabeh na flame! ;-]

jelikoz nejsem balickar, ale spis neco jako programator... takze moje pozadvky jsou trochu jine

Neznam vetsi peklo nez pri balickovani programovat regulerni python...

toto povazuju naopak za naprosto ultimatni vlastnost... narozdil od autotools je to relativne rozumny jazyk a neni to jen zmet m4 a shellu...

ja jsem narazil na nasledujici potize:

+ neprisel jsem na to, jak tomu cistym zpusobem vnutit treba parameter -O3 (neustale to trvalo na -O2) + korektni detekce readline se vsemi zavislostmi byla taky pekny orisek

+ hromada ,,zbytecnych'' souboru v hlavnim adresari... v adresari s programem chci mit zdrojaky a ne tuny pomocnych souboru

+ nenasel jsem zpusob, aby se mi do config.h zapisovaly vlastni nazvy symbolu.

netvrdim, ze to to autotools nezvladnou, ale proste na reseni takovych problemu nemam moc cas... takze jsem sahnul po scons, coz je pro me v soucasne dobe naprosto vyhovujici nastroj

[Nikola Ciprich]

Toto tvrzeni me docela zaujalo, delali jste nejakou formalni verifikaci, nebo je to zalozeno na tom ze jste zatim nenarazili na problem?

Jinak projektu drzim palce, sice sam osobne to asi hnedtak nevyuziju, ale vypada to zajimave...

[deda.jabko]

Toto tvrzeni me docela zaujalo, delali jste nejakou formalni verifikaci, nebo je to zalozeno na tom ze jste zatim nenarazili na problem?

formalni verifikaci primo ne, ale mame formalne popsany evaluacni model (operacni semantiku), ze ktereho to tvrzeni primo vyplyva. samozrejme ten program prosel tisicema testu... ona je to docela sranda delat takovy program. uz nekolikrat se mi stalo, ze tam byla chyba, ktera se projevovala v jednom pripade ze sta... v takovem pripade debugery selhavaji a je potreba tu chybu hledat rucni analyzou kodu... tak snad to funguje... ;-]

Jinak projektu drzim palce, sice sam osobne to asi hnedtak nevyuziju, ale vypada to zajimave...

diky. v soucasne dobe se to na produkcni uziti hodi jenom trochu... ted je to spis takova hracka, kde si zkousim ruzne veci a napady.