*** kaldi-32d9339f0471b12ca8f5f3fac49bc7270dceb881/src/configure 2021-01-05 06:16:11.000000000 +0100 --- kaldi-mod/src/configure 2021-08-17 23:04:35.555887479 +0200 *************** if [ ! -f $FSTROOT/include/fst/fst.h ]; *** 891,898 **** fi ! OPENFST_VER=${OPENFST_VER:-$(grep 'PACKAGE_VERSION' $FSTROOT/Makefile | sed -e 's:.*= ::')} ! OPENFST_VER_NUM=$(echo $OPENFST_VER | sed 's/\./ /g' | xargs printf "%d%02d%02d") ! if [ $OPENFST_VER_NUM -lt 10600 ]; then ! failure "OpenFst-$OPENFST_VER is not supported. You need OpenFst >= 1.6.0.)" ! fi ! echo "OPENFSTINC = $FSTROOT/include" >> kaldi.mk if $static_fst ; then --- 891,893 ---- fi ! echo "OPENFSTINC = $FSTROOT/include/fst" >> kaldi.mk if $static_fst ; then