Как не было никаких ответов, я спросил в gawkextlib
список рассылки об этой проблеме. Один из авторов проекта, Andrew Schorr, предположил, что можно было использовать следующую команду:
./configure --prefix=/usr --exec-prefix=/usr --bindir=/usr/bin --sbindir=/usr/sbin --sysconfdir=/etc --datadir=/usr/share --includedir=/usr/include --libdir=/usr/lib64 --libexecdir=/usr/libexec --localstatedir=/var --sharedstatedir=/var/lib --mandir=/usr/share/man --infodir=/usr/share/info
Как были некоторые лишние опции, я разделил его вниз к:
./configure --datadir=/usr/share --libdir=/usr/lib64
И gawkextlib
прекрасные установки и применимы с gawk
. Можно также добавить опцию --prefix=/usr
иметь xmlgawk
сценарий, установленный в /usr/bin
вместо /usr/local/bin
.