gawk: Additional Configuration Options

1 
1 B.2.3 Additional Configuration Options
1 --------------------------------------
1 
1 There are several additional options you may use on the 'configure'
1 command line when compiling 'gawk' from scratch, including:
1 
1 '--disable-extensions'
1      Disable configuring and building the sample extensions in the
1      'extension' directory.  This is useful for cross-compiling.  The
1      default action is to dynamically check if the extensions can be
1      configured and compiled.
1 
1 '--disable-lint'
1      Disable all lint checking within 'gawk'.  The '--lint' and
1      '--lint-old' options (⇒Options) are accepted, but silently
11      do nothing.  Similarly, setting the 'LINT' variable (⇒
      User-modified) has no effect on the running 'awk' program.
1 
1      When used with the GNU Compiler Collection's (GCC's) automatic
1      dead-code-elimination, this option cuts almost 23K bytes off the
1      size of the 'gawk' executable on GNU/Linux x86_64 systems.  Results
1      on other systems and with other compilers are likely to vary.
1      Using this option may bring you some slight performance
1      improvement.
1 
1           CAUTION: Using this option will cause some of the tests in the
1           test suite to fail.  This option may be removed at a later
1           date.
1 
1 '--disable-mpfr'
1      Skip checking for the MPFR and GMP libraries.  This is useful
1      mainly for the developers, to make sure nothing breaks if MPFR
1      support is not available.
1 
1 '--disable-nls'
1      Disable all message-translation facilities.  This is usually not
1      desirable, but it may bring you some slight performance
1      improvement.
1 
1 '--enable-versioned-extension-dir'
1      Use a versioned directory for extensions.  The directory name will
1      include the major and minor API versions in it.  This makes it
1      possible to keep extensions for different API versions on the same
1      system without their conflicting with one another.
1 
1 '--with-whiny-user-strftime'
1      Force use of the included version of the C 'strftime()' function
1      for deficient systems.
1 
1    Use the command './configure --help' to see the full list of options
1 supplied by 'configure'.
1