17.5 Come gawk trova le estensioni compilate

Le 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 la sezione Ricerca di librerie condivise awk su varie directory. per ulteriori dettagli.