diff options
author | Aaron Madlon-Kay <aaron@madlon-kay.com> | 2016-04-28 10:51:52 +0300 |
---|---|---|
committer | Aaron Madlon-Kay <aaron@madlon-kay.com> | 2016-04-28 10:51:52 +0300 |
commit | f4882f445a6c467e23a95bb26169e4f68a347a3c (patch) | |
tree | 487049962c218117ae2973fd2e0939d7b85e1831 /compile.sh | |
parent | fc35efee0947b67068c44b0dc3951059e568c630 (diff) |
Allow specifying the opt dir location in compile.sh
Diffstat (limited to 'compile.sh')
-rwxr-xr-x | compile.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/compile.sh b/compile.sh index 10de8c406..45c10325c 100755 --- a/compile.sh +++ b/compile.sh @@ -1,8 +1,8 @@ #!/bin/bash -# this script assumes that all 3rd-party dependencies are installed under ./opt +# if not supplied otherwise, this script assumes that all 3rd-party dependencies are installed under ./opt # you can install all 3rd-party dependencies by running make -f contrib/Makefiles/install-dependencies.gmake set -e -o pipefail -opt=$(pwd)/opt -./bjam --with-irstlm=$opt/irstlm-5.80.08 --with-boost=$opt --with-cmph=$opt --with-xmlrpc-c=$opt --with-mm --with-probing-pt -j$(getconf _NPROCESSORS_ONLN) $@ +OPT=${OPT:-$(pwd)/OPT} +./bjam --with-irstlm=$OPT/irstlm-5.80.08 --with-boost=$OPT --with-cmph=$OPT --with-xmlrpc-c=$OPT --with-mm --with-probing-pt -j$(getconf _NPROCESSORS_ONLN) $@ |