Successivo: , Precedente: , Su: Installazione Unix   [Contenuti][Indice]


B.2.3 Ulteriori opzioni di configurazione

Ci sono parecchie altre opzioni che si possono utilizzare sulla riga di comando di configure quando si compila gawk a partire dai sorgenti, tra cui:

--disable-extensions

Richiede di non configurare e generare le estensioni di esempio nella directory extension. Questo è utile quando si genera gawk per essere eseguito su un’altra piattaforma. L’azione di default è di controllare dinamicamente se le estensioni possono essere configurate e compilate.

--disable-lint

Disabilita i controlli lint all’interno di gawk. Le opzioni --lint e --lint-old (vedi Opzioni) sono accettate, ma non fanno nulla, e non emettono alcun messaggio di avvertimento. Analogamente, se si imposta la variabile LINT (vedi Variabili modificabili dall'utente) questa non ha alcun effetto sul programma awk in esecuzione.

Se si specifica l’opzione del compilatore GNU Compiler Collection (GCC) che elimina il codice non eseguito, quest’opzione riduce di quasi 23K byte la dimensione del programma eseguibile gawk su sistemi GNU/Linux x86_64. I risultati su altri sistemi e con altri compilatori sono probabilmente diversi. L’uso di questa opzione può apportare qualche piccolo miglioramento nei tempi di esecuzione di un programma.

ATTENZIONE: Se si usa quest’opzione alcuni dei test di funzionalità non avranno successo. Quest’opzione potrà essere rimossa in futuro.

--disable-nls

Non attiva la traduzione automatica dei messaggi. Ciò normalmente non è consigliabile, ma può apportare qualche lieve miglioramento nei tempi di esecuzione di un programma.

--with-whiny-user-strftime

Forza l’uso della versione della funzione C strftime() inclusa nella distribuzione di gawk, per i sistemi in cui la funzione stessa non sia disponibile.

Si usi il comando ‘./configure --help’ per ottenere la lista completa delle opzioni disponibili in configure.


Successivo: , Precedente: , Su: Installazione Unix   [Contenuti][Indice]