0. Přípravné práce

Výsledný Unison má sice velikost asi 3,5 MB, pro jeho vytvoření však bude potřeba zhruba 4 GB volného místa na disku (a i jinak půjdeme dost s kanónen na vrabce).

Čas potřebný pro kompilaci závisí hlavně na výkonu procesoru, na slabších strojích to může být i několik hodin, ale většinu této doby bude počítač pracovat sám a nijak se mu věnovat nemusíme.

V systému musí být nainstalovaný kompilátor GCC a další obvyklé vývojové nástroje. Tohle je hodně závislé na linuxové distribuci a jejím systému pro správu balíčků (takže zde žádný konkrétní postup nejsem schopný poskytnout).

Na Turris je potřeba pomocí webového rozhraní nebo opkg nainstalovat ze standardní distribuce balíček libncurses.

Vytvoříme si adresář, v kterém se celé naše snažení bude odehrávat.

mkdir turris
cd turris/
export TURRIS=$PWD

V mém případě je to /home/jirig/turris. V některých výpisech budou použity plné cesty, tak ať poznáme, co je specificky moje konfigurace a co součást obecného postupu.

Stáhneme si zdrojové kódy pro Unison a OCaml.

wget 'http://www.seas.upenn.edu/~bcpierce/unison/download/releases/unison-2.40.63/unison-2.40.63.tar.gz'
wget 'http://caml.inria.fr/pub/distrib/ocaml-3.12/ocaml-3.12.1.tar.gz'

1. Křížový kompilátor

V tomto kroku vytvoříme tzv. křížový kompilátor (cross compiler), který poběží na našem hostitelském počítači, ale bude schopný vytvářet binární kód pro hardware routeru. Hostitelský počítač může být například 64-bitový i686, zatímco Turris je 32-bitový ppc (PowerPC). Z hlediska časové náročnosti je toto nejdelší krok.

cd $TURRIS

Nejprve si stáhneme verzi OpenWRT použitou v projektu Turris.

git clone --depth 1 https://gitlab.labs.nic.cz/turris/openwrt.git
cd openwrt/

Protože OpenWRT je obecný systém pro mnoho různých zařízení, je potřeba ho nejdříve nakonfigurovat. Pro naše účely bohatě postačí nastavení připravené autory Turrisu.

cp -f configs/config-turris-nand .config
make defconfig

Při této příležitosti dojde ke kontrole, zda máme v systému všechny balíčky nutné k vytvoření kompilátoru.

Nyní zkompilujeme nástroje potřebné pro vytvoření kompilátoru a následně kompilátor spolu se základními knihovnami. Tohle bude trvat docela dlouho.

make tools/install
make toolchain/install

Povšimněte si, že se kompilátor (GCC) a knihovna jazyka C (uClibc) kompilují několikrát. Je to sice na dlouhé lokte, ale jinak je to obvyklý způsob, jak zajistit, že výsledek bude zcela odstíněn od prostředí našeho počítače.

Kromě kompilátoru toho budeme v následujících krocích potřebovat také knihovnu NCurses, takže ji rovněž připravíme, to už bude jen chvilka.

make package/ncurses/install

Důležité je ještě vědět, kde se nacházejí výsledky naší dosavadní práce. Cesty nejsou zrovna přehledné, takže si je pro budoucí použití uložíme pro proměnných.

export TURRIS_TOOLCHAIN=$TURRIS/openwrt/staging_dir/toolchain-powerpc_8540_gcc-4.6-linaro_uClibc-0.9.33.2
export TURRIS_NATIVE=$TURRIS/openwrt/staging_dir/target-powerpc_8540_uClibc-0.9.33.2

Cesty obsahují čísla verzí některých klíčových komponent systému, takže v novějších verzích OpenWRT se můžou lišit. Co by mělo zůstat stejné je powerpc_8540, které určuje hardwarovou platformu Turrisu.

První cesta vede k programům zkompilovaným pro platformu počítače, na kterém pracujeme. Příkaz
file $TURRIS_TOOLCHAIN/bin/powerpc-openwrt-linux-uclibcspe-gcc
vypíše v mém případě
ELF 32-bit LSB executable, Intel 80386, version 1 (SYSV), dynamically linked (uses shared libs), for GNU/Linux 3.13.5, not stripped
ale jiní lidé uvidí jiné informace.

Naproti tomu druhá cesta vede k programům určeným pro Turris. Odtud se berou soubory, z kterých se vytvářejí balíčky, které potom instalujeme na naše routery. Příkaz
file $TURRIS_NATIVE/usr/lib/libncurses.so.5.9
by proto měl všem stejně vypsat
ELF 32-bit MSB shared object, PowerPC or cisco 4500, version 1 (SYSV), dynamically linked, not stripped
což je přesně to, čeho jsme se snažili dosáhnout. Jen pozor, koncovka .5.9 se u jiných verzí OpenWRT případnou novějších verzí knihovny NCurses může změnit.

Křížový kompilátor potřebuje vědět, kde se nativní knihovny (jako je naše NCurses) nacházejí, a očekává, že se to dozví z proměnné STAGING_DIR (viz soubor $TURRIS_TOOLCHAIN/lib/gcc/powerpc-openwrt-linux-uclibcspe/4.6.4/specs). Tohle normálně nějak zajišťuje poměrně složitá mašinerie určená pro kompilaci balíčků v rámci OpenWRT. My ji však pro zjednodušení nevyužijeme, první část postupu proto dokončíme ručním nastavením zmiňované proměnné.

export STAGING_DIR=$TURRIS_NATIVE

Mimochodem, při kompilaci došlo ke stažení potřebných balíčků se zdrojovými kódy (zhruba 230 MB). Uložily se do podadresáře dl, takže kdybyste si v rámci nějakých nepodařených experimentů stahovali z Cz.nicu čistou verzi OpenWRT, je možné je zkopírovat a ušetřit trochu času.

2. Otestování křížového kompilátoru

Tento krok je nepovinný a je určený pro ty, kteří jsou zvědaví, jak věci fungují, nebo si chtějí ověřit, že předchozí krok proběhl správně.

cd $TURRIS

Vytvoříme si jednoduchý program v jazyce C.

cat > hello.c << "EOF"
#include <stdio.h>

main()
{
  printf("Hello world\n");
}
EOF

Kompilátorem z kroku 1 ho křížově zkompilujeme pro Turris.

$TURRIS_TOOLCHAIN/bin/powerpc-openwrt-linux-uclibcspe-gcc -o hello-c hello.c

Provedeme rychlou kontrolu
file hello-c
a měli bychom obdržet
ELF 32-bit MSB executable, PowerPC or cisco 4500, version 1 (SYSV), dynamically linked (uses shared libs), not stripped
což odpovídá očekávání, i když se výpis trochu liší od toho v předchozím kroku (protože tam jsme neměli k dispozici žádný spustitelný soubor, takže jsme testovali knihovnu).

Když teď soubor hello-c nahrajeme na router a na příkazové řádce ho spustíme, úslužně vypíše požadované Hello world, i když vznikl v dočista jiném prostředí, než běží. Mně to přijde jako hezké kouzlo.

3. OCaml pro počítač

Tohle by měl být úplně jednoduchý krok. Vytvoříme verzi OCaml spustitelnou na našem počítači a nainstaluje ji do podadresáře host.

Rozbalíme zdrojové kódy.

cd $TURRIS
mkdir ocaml-host
tar xf ocaml-3.12.1.tar.gz -C ocaml-host --strip-components=1
cd ocaml-host/

Spustíme automatickou konfiguraci.

sed -i.bak 's/otherlibraries graph/otherlibraries/' configure
./configure -prefix $TURRIS/host --no-tk

Úvodní sed pouze zajistí vynechání kompilace grafické knihovny, takže kompilace proběhne o něco rychleji a nebudeme závislí na přítomnosti X Windows. Nic zásadního to neovlivňuje, podobně jako volba --no-tk u konfiguračního skriptu, která vynechá vazbu na TCL GUI Toolkit.

Zkompilujeme.

make world

A nainstalujeme.

make install

O správnosti architektury se můžeme přesvědčit obvyklým způsobem
file $TURRIS/host/bin/ocamlrun

4. OCaml pro router

Nyní nástroje připravené v 1. a 3. kroku využijeme pro vytvoření verze OCaml, která by byla schopná běžet na routeru. Tento krok je pravděpodobně nejsložitější a vyžaduje trochu pečlivosti (jako ostatně každá magie).

Rozbalíme zdrojové kódy.

cd $TURRIS
mkdir ocaml-powerpc
tar xf ocaml-3.12.1.tar.gz -C ocaml-powerpc --strip-components=1
cd ocaml-powerpc/

Konfigurace nyní nemůže proběhnout automaticky, protože konfigurační skript zjišťuje některé parametry systému, na kterém běží, a dělá to tak, že zkompiluje a spustí řadu malých testovacích programů v C. Výsledky se zapíší do souborů config/m.h a config/s.h, které ovlivňují následnou kompilaci.

Tyto soubory lze vytvořit editací komentovaných šablon v souborech config/m-templ.h a config/s-templ.h. My však využijeme skutečnosti, že spouštění testovacích programů řídí skript config/auto-aux/runtest a vytvoříme si za něj náhradu, která bude správné výsledky hlásit rovnou, aniž by spouštěla nějaké testovací programy.

mv config/auto-aux/runtest config/auto-aux/runtest.orig
cat > config/auto-aux/runtest << "EOF"
#!/bin/sh

output=""
ret=0

case $(basename $1 .c) in

    ansi)       ;;
    async_io)   ;;
    dblalign)   ;;
    divmod)     ;;
    endian)     ;;
    getgroups)  ;;
    initgroups) ;;
    int64align) ;;
    longlong)   ;;
    setgroups)  ;;
    signals)    ;;
    sizes) output="4 4 4 2" ;;

    *) echo $0: unexpected test $1 1>&2
   exit 99
esac

[ "$output" ] && echo "$output"
exit $ret
EOF
chmod 755 config/auto-aux/runtest

Kdyby někdo potřeboval zjistit výsledky pro jinou architekturu (například zmiňovaný DNS-323 s architekturou ARM musí pro případ endian skončit návratovou hodnotu 1), lze testovací programy křížově zkompilovat podobně jako program v 2. bodu tohoto návodu a ručně spustit na cílovém zařízení. Výsledky se postupně ukládají do souboru config/m.h a průběh některých testů závisí na výsledku těch předchozích, je proto dobré ručně sledovat logiku z konfiguračního skriptu (řádky 337 až 506).

Co se souboru config/s.h týče, zatím mi vždy fungoval ten vygenerovaný konfiguračním skriptem. Nemá-li váš systém příliš neobvyklá systémová volání, mělo by to fungovat také.

Kromě toho ještě musíme konfiguračnímu skriptu říci, pro jakou platformu chceme OCaml kompilovat a předat mu cesty ke kompilátoru a asembleru pro tuto platformu, v tomto případě k našemu křížovému kompilátoru.

sed -i.bak 's/otherlibraries graph/otherlibraries/' configure
./configure \
    -prefix $TURRIS/powerpc \
    --no-tk \
    -host powerpc-uclibc-linux \
    -cc $TURRIS_TOOLCHAIN/bin/powerpc-openwrt-linux-gcc \
    -aspp "$TURRIS_TOOLCHAIN/bin/powerpc-openwrt-linux-gcc -c" \
    -as $TURRIS_TOOLCHAIN/bin/powerpc-openwrt-linux-as

Nyní můžeme spustit kompilaci.

make world

Ale je potřeba počítat s tím, že po chvíli skončí s chybou, jejíž podstatou je sdělení
boot/ocamlrun: cannot execute binary file

Provedeme-li kontrolu
file boot/ocamlrun
zjistíme, že stížnost je oprávněná, neboť jde o program pro platformu routeru, takže na hostitelském počítači skutečně spustit nejde.

Potíž je v tom, že OCaml je programovací jazyk a jak bývá v takových případech dobrým zvykem, většina je ho napsaná v tomto jazyce samotném. Při kompilaci vznikne proto nejdříve malý interpret a generátor parserů, které jsou napsané v jazyce C (adresáře byterun a yacc) a skončí v adresáři boot. Protože jsme však konfiguračnímu skriptu podsunuli křížový kompilátor, nejdou samozřejmě použít.

Pomůžeme si snadno a přepíšeme tyto omezené pomocné verze plnými verzemi, které jsme si pro naši platformu vytvořili v předchozím kroku.

cp -f $TURRIS/host/bin/{ocamlrun,ocamlyacc} boot/

OCaml je však pečlivý a tyto soubory si vždy přepíše verzemi, které si sám vytvořil, takže mu v tom ještě musíme zabránit a příslušné příkazy (řádky 190 a 192 v Makefile) zakomentovat.

sed -i.bak -e '190s/^/#/' -e '192s/^/#/' Makefile

Nyní můžeme opět spustit kompilaci.

make world

Kompilace nyní dvakrát po sobě skončí s chybou
Error on dynamically loaded library
což souvisí s tím, že OCaml se snaží prostřednictvím interpretu, který jsme mu podsunuli, vyvolat kompilátor pro naši platformu a s ním linkovat s knihovnou pro platformu routeru. Oba případy vyřešíme tak, že knihovnu pro cílovou platformu zazálohujeme a podsuneme knihovnu pro platformu našeho počítače, aby kompilace mohla pokračovat.

I. Error: Error on dynamically loaded library: ../otherlibs/unix/dllunix.so: ../otherlibs/unix/dllunix.so: ELF file data encoding not little-endian

mv otherlibs/unix/dllunix.so otherlibs/unix/dllunix.so.target
cp $TURRIS/host/lib/ocaml/stublibs/dllunix.so otherlibs/unix/
make world

II. Error: Error on dynamically loaded library: ../otherlibs/str/dllcamlstr.so: ../otherlibs/str/dllcamlstr.so: ELF file data encoding not little-endian

mv otherlibs/str/dllcamlstr.so otherlibs/str/dllcamlstr.so.target
cp $TURRIS/host/lib/ocaml/stublibs/dllcamlstr.so otherlibs/str/
make world

Nyní by konečně kompilace měla doběhnout bez chyby a obě knihovny můžeme vrátit na své místo.

mv -f otherlibs/unix/dllunix.so.target otherlibs/unix/dllunix.so
mv -f otherlibs/str/dllcamlstr.so.target otherlibs/str/dllcamlstr.so

Z nějakého důvodu neproběhla správně kompilace programu ocaml, což je interaktivní rozhraní k interpretu jazyka. Protože ho však k ničemu nepotřebujeme, nebudeme to vůbec zkoumat, a vytvoříme za něj minimální nefunkční náhražku.

touch ocaml

Konečně můžeme provést instalaci.

make install

O správnosti architektury se můžeme přesvědčit jako obyčejně
file $TURRIS/powerpc/bin/ocamlrun

Tato verze OCaml by v principu šla nahrát na Turris a spustit tam. K provozování Unisonu ji však nepotřebujeme a k jeho kompilaci nestačí, takže k tomu celkem není žádný důvod.

5. Otestování OCaml

Tento krok je opět nepovinný a je určený pro ty, kdo chtějí vědět, jak celý ten cirkus funguje dohromady, nebo si ověřit, že všechno zvládli správně.

cd $TURRIS

Vytvoříme si jednoduchý program pro OCaml.

cat > hello.ml << "EOF"
print_string "Hello world\n";;
EOF

Nejdříve ho necháme zkompilovat pro náš počítač. Za normálních okolností by vznikl bytekód, který by se spouštěl s použitím programu ocamlrun. My však pomocí přepínače -custom požádáme o vytvoření soběstačné verze, jejíž běh už prostředí OCaml potřebovat nebude (o to nám na routeru půjde). Pomocí -verbose ještě požádáme OCaml kompilátor, aby nám řekl, co při tom vlastně dělá.

host/bin/ocamlc -custom -verbose -o hello-ml hello.ml

Výsledek je docela zajímavý.

+ gcc -o 'hello-ml'   '-L/home/jirig/turris/host/lib/ocaml'  '/tmp/camlprim18dff4.c' '-lcamlrun' -I'/home/jirig/turris/host/lib/ocaml' -lm  -ldl -lncurses -lpthread

Vidíme, že se spustil kompilátor GCC, co má přeložit kód v C, který OCaml vygeneroval do adresáře /tmp (jméno souboru bude pokaždé jiné) a v kterém je funkce našeho programu. Přitom se mohou použít hlavičkové soubory (.h) jazyka C z adresáře $TURRIS/host/lib/ocaml. K výsledku se přilinkuje statická knihovna libcamlrun.a z $TURRIS/host/lib/ocaml, dynamické systémové knihovny (m, dl, pthread) a dynamická NCurses. Dynamické knihovny jsou brané z míst, která jsou v systému standardní.

Výsledkem je běžný spustitelný program
file hello-ml
pro platformu našeho počítače
ELF 32-bit LSB executable, Intel 80386, version 1 (SYSV), dynamically linked (uses shared libs), for GNU/Linux 3.13.5, not stripped
který už OCaml k fungování nepotřebuje.

Správný kompilátor GCC nastavíme parametrem -cc. Pomocí parametru -I určíme, kde se má hledat knihovna libcamlrun.a. O dynamické knihovny se postará GCC (o systémové samo, o NCurses díky nastavení proměnné STAGING_DIR). Hlavičkové soubory ošetříme s pomocí parametru -ccopt podsunutím parametru -I kompilátoru GCC. Verzi pro Turris tak vytvoříme následujícím příkazem.

host/bin/ocamlc -custom -verbose -o hello-ml hello.ml \
    -cc $TURRIS_TOOLCHAIN/bin/powerpc-openwrt-linux-uclibcspe-gcc \
    -I $TURRIS/powerpc/lib/ocaml \
    -ccopt '-I./powerpc/lib/ocaml'

Podle výstupu to už vypadá nadějně, i když je jednou tak dlouhý a nepříliš přehledný.

+ /home/jirig/turris/openwrt/staging_dir/toolchain-powerpc_8540_gcc-4.6-linaro_uClibc-0.9.33.2/bin/powerpc-openwrt-linux-uclibcspe-gcc -o 'hello-ml'   '-L/home/jirig/turris/powerpc/lib/ocaml' '-L/home/jirig/turris/host/lib/ocaml' -I./powerpc/lib/ocaml '/tmp/camlprimfe2ed6.c' '-lcamlrun' -I'/home/jirig/turris/host/lib/ocaml' -lm  -ldl -lncurses -lpthread

Obvyklý rychlý test také dopadne dobře
file hello-ml
a vypíše očekávané a dobře známe
ELF 32-bit MSB executable, PowerPC or cisco 4500, version 1 (SYSV), dynamically linked (uses shared libs), not stripped
takže už zbývá jen hello-ml zkopírovat na Turris a zkusit spustit.

Je-li na serveru nainstalovaný balíček ldd, můžeme se ještě následujícím způsobem přesvědčit o dynamických knihovnách (ldd z mého počítače si s formátem pro odlišnou architekturu neporadí).

ldd ./hello-ml

Uvidíme zhruba toto.

libm.so.0 => /lib/libm.so.0 (0x48018000)
libdl.so.0 => /lib/libdl.so.0 (0x48038000)
libncurses.so.5 => /usr/lib/libncurses.so.5 (0x4804c000)
libpthread.so.0 => /lib/libpthread.so.0 (0x48097000)
libgcc_s.so.1 => /lib/libgcc_s.so.1 (0x480bb000)
libc.so.0 => /lib/libc.so.0 (0x480e5000)
ld-uClibc.so.0 => /lib/ld-uClibc.so.0 (0x48000000)

K přípravě spustitelného programu jsme sice tyto knihovny při linkování potřebovali i na našem počítači (proto jsem kompilovali NCurses), ale součástí programu samotného nejsou, při spuštění se vezmou verze na Turrisu (proto se jim říká dynamické a proto jsme na router museli NCurses doinstalovat jako standardní balíček, i když jsme je sami kompilovali). Naproti tomu běhové prostředí pro OCaml, které je v knihovně camlrun, součástí programu je (proto se jí říká statická a  proto je také hello-ml tak velký).

Ty opravdu těžké věci tímto máme za sebou. Očekává nás sice ještě jedna drobná peripetie, ale už jsme skoro u cíle.

6. Unison File Synchronizer

Nyní už máme všechny nástroje k tomu, abychom dokázali zkompilovat Unison spustitelný na routeru Turris.

Rozbalíme zdrojové kódy.

cd $TURRIS
tar xf unison-2.40.63.tar.gz
cd unison-2.40.63/

Nejprve zkompilujeme Unison pro hostitelský počítač.

PATH=$TURRIS/host/bin:$PATH make UISTYLE=text NATIVE=false

Na začátek seznamu cest, kde se hledají spustitelné programy, jsme dočasně přidali umístění OCaml (PATH). Unison kompilujeme jen s textovým rozhraním (UISTYLE), protože bude fungovat hlavně jako server (a na Turrisu stejně nemáme k dispozici TCL/TK a X Windows). Protože naše OCaml není schopno vytvářet přímo kód pro platformu PowerPC, kompilujeme pouze do bytekódu (NATIVE).

Kompilace by měla proběhnout hladce (možná až na závěrečnou stížnost o nenalezení programu etags, kterou je možné ignorovat přesně tak, jak výpis navrhuje). Náš test
file unison
ukáže (na mojí platformě) očekávané
ELF 32-bit LSB executable, Intel 80386, version 1 (SYSV), dynamically linked (uses shared libs), for GNU/Linux 3.13.5, not stripped

Oproti kompilaci testovacího programu v předchozím bodě přináší Unison jednu komplikaci. Ve skutečnosti totiž není napsaný celý v OCaml, několik částí je i v jazyce C.

Přesvědčíme se o tom takto.

file *.o

A toto jsou potížisté.

bytearray_stubs.o: ELF 32-bit LSB relocatable, Intel 80386, version 1 (SYSV), not stripped
osxsupport.o:      ELF 32-bit LSB relocatable, Intel 80386, version 1 (SYSV), not stripped
pty.o:             ELF 32-bit LSB relocatable, Intel 80386, version 1 (SYSV), not stripped

Na konci výpisu z kompilace Unisonu vidíme, jak vznikli.

ocamlc -I lwt -I ubase -I system -I system/generic -I lwt/generic -custom -g -ccopt "-o "/home/jirig/turris/unison-2.40.63/osxsupport.o -c /home/jirig/turris/unison-2.40.63/osxsupport.c
ocamlc -I lwt -I ubase -I system -I system/generic -I lwt/generic -custom -g -ccopt "-o "/home/jirig/turris/unison-2.40.63/pty.o -c /home/jirig/turris/unison-2.40.63/pty.c
ocamlc -I lwt -I ubase -I system -I system/generic -I lwt/generic -custom -g -ccopt "-o "/home/jirig/turris/unison-2.40.63/bytearray_stubs.o -c /home/jirig/turris/unison-2.40.63/bytearray_stubs.c

Přidáme k těmto příkazům parametr -verbose, doplníme na začátek správnou cestu a znovu je spustíme.

$TURRIS/host/bin/ocamlc -verbose -I lwt -I ubase -I system -I system/generic -I lwt/generic -custom -g -ccopt "-o "/home/jirig/turris/unison-2.40.63/osxsupport.o -c /home/jirig/turris/unison-2.40.63/osxsupport.c
$TURRIS/host/bin/ocamlc -verbose -I lwt -I ubase -I system -I system/generic -I lwt/generic -custom -g -ccopt "-o "/home/jirig/turris/unison-2.40.63/pty.o -c /home/jirig/turris/unison-2.40.63/pty.c
$TURRIS/host/bin/ocamlc -verbose -I lwt -I ubase -I system -I system/generic -I lwt/generic -custom -g -ccopt "-o "/home/jirig/turris/unison-2.40.63/bytearray_stubs.o -c /home/jirig/turris/unison-2.40.63/bytearray_stubs.c

Dozvíme se, co se ve skutečnosti děje.

+ gcc -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC -c -o /home/jirig/turris/unison-2.40.63/osxsupport.o '-Ilwt' '-Iubase' '-Isystem' '-Isystem/generic' '-Ilwt/generic' -I'/home/jirig/turris/host/lib/ocaml' '/home/jirig/turris/unison-2.40.63/osxsupport.c'
+ gcc -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC -c -o /home/jirig/turris/unison-2.40.63/pty.o '-Ilwt' '-Iubase' '-Isystem' '-Isystem/generic' '-Ilwt/generic' -I'/home/jirig/turris/host/lib/ocaml' '/home/jirig/turris/unison-2.40.63/pty.c'
+ gcc -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC -c -o /home/jirig/turris/unison-2.40.63/bytearray_stubs.o '-Ilwt' '-Iubase' '-Isystem' '-Isystem/generic' '-Ilwt/generic' -I'/home/jirig/turris/host/lib/ocaml' '/home/jirig/turris/unison-2.40.63/bytearray_stubs.c'

Celkem snadno tak tyto části můžeme zkompilovat správným způsobem. Stačí použít náš křížový kompilátor a změnit cestu ke knihovnám OCaml z verze "host" na verzi "powerpc". Když ještě vynecháme absolutní cesty, vypadají příkazy, které potřebujeme spustit, následovně.

$TURRIS_TOOLCHAIN/bin/powerpc-openwrt-linux-uclibcspe-gcc -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC -c -o osxsupport.o -Ilwt -Iubase -Isystem -Isystem/generic -Ilwt/generic -I$TURRIS/powerpc/lib/ocaml osxsupport.c
$TURRIS_TOOLCHAIN/bin/powerpc-openwrt-linux-uclibcspe-gcc -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC -c -o pty.o -Ilwt -Iubase -Isystem -Isystem/generic -Ilwt/generic -I$TURRIS/powerpc/lib/ocaml pty.c
$TURRIS_TOOLCHAIN/bin/powerpc-openwrt-linux-uclibcspe-gcc -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC -c -o bytearray_stubs.o -Ilwt -Iubase -Isystem -Isystem/generic -Ilwt/generic -I$TURRIS/powerpc/lib/ocaml bytearray_stubs.c

Výsledek jako vždy prověříme
file *.o
a měli bychom se dozvědět, že
bytearray_stubs.o: ELF 32-bit MSB relocatable, PowerPC or cisco 4500, version 1 (SYSV), not stripped
osxsupport.o:      ELF 32-bit MSB relocatable, PowerPC or cisco 4500, version 1 (SYSV), not stripped
pty.o:             ELF 32-bit MSB relocatable, PowerPC or cisco 4500, version 1 (SYSV), not stripped

Nyní zbývá už jen slinkováním všech součástí vytvořit vlastní spustitelný soubor Unisonu. Potřebný příkaz je skoro na konci výpisu z kompilace a vypadá nějak takto.

ocamlc -verbose -I lwt -I ubase -I system -I system/generic -I lwt/generic -custom -g -o unison  unix.cma str.cma bigarray.cma ubase/rx.cmo unicode_tables.cmo unicode.cmo bytearray.cmo system/system_generic.cmo system/generic/system_impl.cmo system.cmo ubase/projectInfo.cmo ubase/myMap.cmo ubase/safelist.cmo ubase/uprintf.cmo ubase/util.cmo ubase/uarg.cmo ubase/prefs.cmo ubase/trace.cmo ubase/proplist.cmo lwt/pqueue.cmo lwt/lwt.cmo lwt/lwt_util.cmo lwt/generic/lwt_unix_impl.cmo lwt/lwt_unix.cmo case.cmo pred.cmo uutil.cmo fileutil.cmo name.cmo path.cmo fspath.cmo fs.cmo fingerprint.cmo abort.cmo osx.cmo external.cmo props.cmo fileinfo.cmo os.cmo lock.cmo clroot.cmo common.cmo tree.cmo checksum.cmo terminal.cmo transfer.cmo xferhint.cmo remote.cmo globals.cmo fpcache.cmo update.cmo copy.cmo stasher.cmo files.cmo sortri.cmo recon.cmo transport.cmo strings.cmo uicommon.cmo uitext.cmo test.cmo main.cmo linktext.cmo osxsupport.o pty.o bytearray_stubs.o -cclib -lutil

Jeho délky není potřeba se bát, vše vyřešíme doplněním parametrů -cc, -I a -ccopt na konec příkazu a opětovným spuštěním.

$TURRIS/host/bin/ocamlc -verbose -I lwt -I ubase -I system -I system/generic -I lwt/generic -custom -g -o unison  unix.cma str.cma bigarray.cma ubase/rx.cmo unicode_tables.cmo unicode.cmo bytearray.cmo system/system_generic.cmo system/generic/system_impl.cmo system.cmo ubase/projectInfo.cmo ubase/myMap.cmo ubase/safelist.cmo ubase/uprintf.cmo ubase/util.cmo ubase/uarg.cmo ubase/prefs.cmo ubase/trace.cmo ubase/proplist.cmo lwt/pqueue.cmo lwt/lwt.cmo lwt/lwt_util.cmo lwt/generic/lwt_unix_impl.cmo lwt/lwt_unix.cmo case.cmo pred.cmo uutil.cmo fileutil.cmo name.cmo path.cmo fspath.cmo fs.cmo fingerprint.cmo abort.cmo osx.cmo external.cmo props.cmo fileinfo.cmo os.cmo lock.cmo clroot.cmo common.cmo tree.cmo checksum.cmo terminal.cmo transfer.cmo xferhint.cmo remote.cmo globals.cmo fpcache.cmo update.cmo copy.cmo stasher.cmo files.cmo sortri.cmo recon.cmo transport.cmo strings.cmo uicommon.cmo uitext.cmo test.cmo main.cmo linktext.cmo osxsupport.o pty.o bytearray_stubs.o -cclib -lutil -cc $TURRIS_TOOLCHAIN/bin/powerpc-openwrt-linux-uclibcspe-gcc -I $TURRIS/powerpc/lib/ocaml -ccopt '-I../powerpc/lib/ocaml'

Výsledek opět pro jistotu zkontrolujeme
file unison
a očekáváme, že se dozvíme
ELF 32-bit MSB executable, PowerPC or cisco 4500, version 1 (SYSV), dynamically linked (uses shared libs), not stripped

Soubor unison stačí nakopírovat na router na nějaké standardní umístění (například do /usr/bin) a můžeme začít používat synchronizaci souborů, nic dalšího už potřeba není.

Vzniklý binární soubor doporučuji zálohovat ještě někde jinde, abychom po případném resetu Turrisu do továrního nastavení nebylo potřeba absolvovat celý tento proces znovu.

Pokročilejší uživatele, které by hlášení "not stripped" mohlo inspirovat k použití příkazu strip a odstranění debugovacích informací, které zbytečně zvyšují velikost souboru, bych na rozloučenou ještě varoval: nedělejte to, odstraníte tím i bytekód obsažený v souboru, takže vám výsledek bude k ničemu.

To je skvělé, že jste prozkoumal a popsal způsob, jak kompilaci provést pomocí standardních mechanismů pro vytváření balíčků. Pro většinu lidí je to určitě mnohem pohodlnější postup. Doplnil jsem odkaz na Váš návod do svého úvodního příspěvku, aby lidé zbytečně nechodili složitější cestou. Díky moc.