gawk: Extension GMP/MPFR Versioning

1 
1 16.4.13.2 GMP and MPFR Version Information
1 ..........................................
1 
1 The API also includes information about the versions of GMP and MPFR
1 with which the running 'gawk' was compiled (if any).  They are included
1 in the API 'struct' as read-only constant integers:
1 
1 'api->gmp_major_version'
1      The major version of the GMP library used to compile 'gawk'.
1 
1 'api->gmp_minor_version'
1      The minor version of the GMP library used to compile 'gawk'.
1 
1 'api->mpfr_major_version'
1      The major version of the MPFR library used to compile 'gawk'.
1 
1 'api->mpfr_minor_version'
1      The minor version of the MPFR library used to compile 'gawk'.
1 
1    These fields are set to zero if 'gawk' was compiled without MPFR
1 support.
1 
1    You can check if the versions of MPFR and GMP that you are using
1 match those of 'gawk' with the following macro:
1 
1 'check_mpfr_version(extension)'
1      The 'extension' is the extension id passed to all the other macros
1      and functions defined in 'gawkapi.h'.  If you have not included the
1      '<mpfr.h>' header file, then this macro will be defined to do
1      nothing.
1 
1      If you have included that file, then this macro compares the MPFR
1      and GMP major and minor versions against those of the library you
1      are compiling against.  If your libraries are newer than 'gawk''s,
1      it produces a fatal error message.
1 
1      The 'dl_load_func()' macro (⇒Extension API Boilerplate)
1      calls 'check_mpfr_version()'.
1