diff options
| author | Ulrich Germann <ulrich.germann@gmail.com> | 2017-08-25 18:53:01 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-08-25 18:53:01 +0300 |
| commit | eb8979a0e220df14f1d25944cf4995a46bbed3a3 (patch) | |
| tree | 41b0fae603ced7ebe1a504a84804ddab45cdbe2c | |
| parent | 9cb5999e5b50b5f86dc1feed22e791696d21541e (diff) | |
Don't install IRSTLM by default
| -rw-r--r-- | contrib/Makefiles/install-dependencies.gmake | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/Makefiles/install-dependencies.gmake b/contrib/Makefiles/install-dependencies.gmake index e62f0da26..ccef85d9b 100644 --- a/contrib/Makefiles/install-dependencies.gmake +++ b/contrib/Makefiles/install-dependencies.gmake @@ -35,7 +35,7 @@ IRSTLM_PREFIX ?= ${PREFIX}/irstlm-5.80.08 BOOST_PREFIX ?= ${PREFIX} # currently, the full enchilada means xmlrpc-c, cmph, irstlm, boost -all: xmlrpc cmph irstlm boost +all: xmlrpc cmph boost # we use bash and fail when pipelines fail SHELL = /bin/bash -e -o pipefail |