Successivo: Esempio di estensione, Precedente: Descrizione dell'API delle estensioni, Su: Estensioni dinamiche [Contenuti][Indice]
gawk
trova le estensioni compilateLe estensioni compilate vanno installate in una directory dove
gawk
possa trovarle. Se gawk
è configurato e
installato nella maniera di default, la directory dove trovare le
estensioni è /usr/local/lib/gawk. Si può anche specificare un
percorso di ricerca contenente una lista di directory da esaminare per la
ricerca di estensioni compilate.
Vedi AWKLIBPATH (Variabile) per ulteriori dettagli.