[tools] Download SRILM by sending licensee HTML form data (kaldi-asr#…

…4624)

* Send licensing form data from script arguments with wget.
* Remove dependency on which and always use correct gawk.

Co-authored-by: Cy 'kkm' Katsnelson <kkm@pobox.com>

tools/extras/install_srilm.sh

@@ -13,18 +13,24 @@ if [ ! -d liblbfgs-1.10 ]; then
     bash extras/install_liblbfgs.sh || exit 1
 fi
 
-# http://www.speech.sri.com/projects/srilm/download.html
-if [ ! -f srilm.tgz ] && [ ! -f srilm.tar.gz ]; then  # Changed format type from tgz to tar.gz as the srilm v1.7.3 downloads as tar.gz
-  echo This script cannot install SRILM in a completely automatic
-  echo way because you need to put your address in a download form.
-  echo Please download SRILM from http://www.speech.sri.com/projects/srilm/download.html
-  echo put it in ./srilm.tar.gz , then run this script.
-  echo Note: You may have to rename the downloaded file to remove version name from filename eg: mv srilm-1.7.3.tar.gz srilm.tar.gz
-  exit 1
+! command -v gawk > /dev/null && \
+   echo "GNU awk is not installed so SRILM will probably not work correctly: refusing to install" && exit 1;
+
+if [ $# -ne 3 ]; then
+    echo "SRILM download requires some information about you"
+    echo
+    echo "Usage: $0 <name> <organization> <email>"
+    exit 1
 fi
 
-! which gawk 2>/dev/null && \
-   echo "GNU awk is not installed so SRILM will probably not work correctly: refusing to install" && exit 1;
+srilm_url="http://www.speech.sri.com/projects/srilm/srilm_download.php"
+post_data="WWW_file=srilm-1.7.3.tar.gz&WWW_name=$1&WWW_org=$2&WWW_email=$3"
+
+if ! wget --post-data "$post_data" -O ./srilm.tar.gz "$srilm_url"; then
+    echo 'There was a problem downloading the file.'
+    echo 'Check you internet connection and try again.'
+    exit 1
+fi
 
 mkdir -p srilm
 cd srilm
@@ -36,9 +42,9 @@ elif [  -f ../srilm.tar.gz ]; then
     tar -xvzf ../srilm.tar.gz # Changed format type from tgz to tar.gz
 fi
 
-major=`awk -F. '{ print $1 }' RELEASE`
-minor=`awk -F. '{ print $2 }' RELEASE`
-micro=`awk -F. '{ print $3 }' RELEASE`
+major=`gawk -F. '{ print $1 }' RELEASE`
+minor=`gawk -F. '{ print $2 }' RELEASE`
+micro=`gawk -F. '{ print $3 }' RELEASE`
 
 if [ $major -le 1 ] && [ $minor -le 7 ] && [ $micro -le 1 ]; then
   echo "Detected version 1.7.1 or earlier. Applying patch."
@@ -48,7 +54,7 @@ fi
 # set the SRILM variable in the top-level Makefile to this directory.
 cp Makefile tmpf
 
-cat tmpf | awk -v pwd=`pwd` '/SRILM =/{printf("SRILM = %s\n", pwd); next;} {print;}' \
+cat tmpf | gawk -v pwd=`pwd` '/SRILM =/{printf("SRILM = %s\n", pwd); next;} {print;}' \
   > Makefile || exit 1
 rm tmpf