some configure options not respected
configuring with ./configure --prefix=/usr --build=x86_64-pc-linux-gnu --host=x86_64-pc-linux-gnu --mandir=/usr/share/man --infodir=/usr/share/info --datadir=/usr/share --sysconfdir=/etc --localstatedir=/var/lib --datarootdir=/usr/share --disable-dependency-tracking --disable-silent-rules --disable-static --docdir=/usr/share/doc/mbdyn-1.7.3_p20210824 --htmldir=/usr/share/doc/mbdyn-1.7.3_p20210824/html --with-sysroot=/ --libdir=/usr/lib64 --disable-static --disable-Werror --enable-runtime-loading --without-charm --without-g2c --without-goto --without-hsl --without-pardiso --without-rtai --without-static-modules --without-strumpack --without-wsmp --disable-autodiff --enable-crypt --disable-debug --disable-eig --enable-mbc --disable-multithread-naive --disable-netcdf --disable-octave --disable-octave-utils --enable-python --disable-schur --disable-install_test_progs --enable-multithread --without-ann --without-arpack --with-boost --without-bullet --without-ginac --without-jdqz --with-lapack --without-meschach --without-metis --without-openblas --with-pam --without-pastix --without-qrupdate --without-rt --without-sasl2 --without-klu --without-suitesparseqr --without-umfpack --without-superlu --without-taucs --with-threads --with-y12 --disable-sparse-autodiff --disable-debug-mpi --with-mpi
lead to this warning
configure: WARNING: unrecognized options: --without-hsl, --without-taucs