Successivo: Variabili informative di estens. API, Precedente: Versione dell'estensione, Su: Variabili dell'estensione API [Contenuti][Indice]
L’API include anche informazioni sulle versioni di GMP ed MPFR con cui
il comando gawk in esecuzione è stato compilato (se disponibile).
Queste sono incluse nella struttura struct dell’API come costanti intere
in sola lettura:
api->gmp_major_versionLa versione principale della libreria GMP usata per compilare gawk.
api->gmp_minor_versionLa versione secondaria della libreria GMP usata per compilare gawk.
api->mpfr_major_versionLa versione principale della libreria MPFR usata per compilare gawk.
api->mpfr_minor_versionLa versione secondaria della libreria MPFR usata per compilare gawk.
Questi campi hanno un valore di zero se gawk è stato compilato
senza supporto MPFR.
Si può controllare se le versioni di MPFR e GMP dell’utente corrispondono
a quelle contenute in gawk con le seguenti macro:
check_mpfr_version(extension)La extension è l’ID dell’estensione, passato a tutte le altre macro
e funzioni definite in gawkapi.h. Se il file di intestazione
<mpfr.h> non è stato incluso, questa macro verrà definita in
modo da non fare nulla.
Se invece il predetto file è stato incluso, questa macro confronta
le versioni principale e secondaria di MPFR e GMP con quelle delle
librerie in uso da parte dell’utente. Se queste ultime sono più
recenti di quelle di gawk, stampa un messaggio di
errore fatale ed esce.
La macro dl_load_func() (trattata
in
Codice predefinito di interfaccia API)
chiama check_mpfr_version().