diff options
| author | Jingbei Li | 2018-06-26 17:49:35 +0800 |
|---|---|---|
| committer | Jingbei Li | 2018-06-26 17:49:35 +0800 |
| commit | 869e7212db74b9f2c3174ed59ff910dfbe2845dd (patch) | |
| tree | e9da40116ef42288945df88f9e1dc8ffefa8674c | |
| parent | 7071ef42c284103b7fe03b9492c8ca67ce413a6f (diff) | |
| download | aur-869e7212db74b9f2c3174ed59ff910dfbe2845dd.tar.gz | |
bypass the irstlm directory check
| -rw-r--r-- | .SRCINFO | 6 | ||||
| -rw-r--r-- | PKGBUILD | 12 | ||||
| -rw-r--r-- | install_irstlm.patch | 12 |
3 files changed, 23 insertions, 7 deletions
@@ -1,9 +1,7 @@ -# Generated by mksrcinfo v8 -# Wed Nov 1 05:48:53 UTC 2017 pkgbase = kaldi-irstlm pkgdesc = Speech recognition research toolkit pkgver = r94.c358d7b - pkgrel = 1 + pkgrel = 2 url = https://github.com/kaldi-asr/kaldi arch = x86_64 arch = i686 @@ -15,8 +13,10 @@ pkgbase = kaldi-irstlm makedepends = subversion source = git+https://github.com/irstlm-team/irstlm source = https://github.com/kaldi-asr/kaldi/archive/master.zip + source = install_irstlm.patch sha256sums = SKIP sha256sums = SKIP + sha256sums = f23734f32d89c7529879e5f48519c8687b384281de261d17cfa59166ec56c6e1 pkgname = kaldi-irstlm @@ -4,14 +4,16 @@ _gitname='irstlm' pkgname="$_pkgname-$_gitname" pkgdesc='Speech recognition research toolkit' pkgver=r94.c358d7b -pkgrel=1 +pkgrel=2 makedepends=('git' 'wget' 'python' 'python2' 'subversion') arch=('x86_64' 'i686') url='https://github.com/kaldi-asr/kaldi' license=('APACHE') source=("git+https://github.com/irstlm-team/irstlm" -"https://github.com/kaldi-asr/kaldi/archive/master.zip") -sha256sums=('SKIP' 'SKIP') + "https://github.com/kaldi-asr/kaldi/archive/master.zip" + "install_irstlm.patch" + ) +sha256sums=('SKIP' 'SKIP' 'f23734f32d89c7529879e5f48519c8687b384281de261d17cfa59166ec56c6e1') pkgver () { cd "${_gitname}" @@ -23,7 +25,9 @@ pkgver () { build () { cd $srcdir/$_pkgname-master/tools - cp -r $srcdir/$_gitname . + rm -rf $_gitname + git clone $srcdir/$_gitname + patch -p2 < $srcdir/install_irstlm.patch extras/install_irstlm.sh } diff --git a/install_irstlm.patch b/install_irstlm.patch new file mode 100644 index 000000000000..91366f2c7347 --- /dev/null +++ b/install_irstlm.patch @@ -0,0 +1,12 @@ +diff --git a/tools/extras/install_irstlm.sh b/tools/extras/install_irstlm.sh +index b27f0f898..652043c06 100755 +--- a/tools/extras/install_irstlm.sh ++++ b/tools/extras/install_irstlm.sh +@@ -28,7 +28,6 @@ else + echo "****() Assuming IRSTLM is already installed. Please delete" + echo "****() the directory ./irstlm if you need us to download" + echo "****() the sources again." +- exit 0 + fi + + ( |