diff options
author | Ulrich Germann <Ulrich.Germann@gmail.com> | 2015-10-26 21:26:56 +0300 |
---|---|---|
committer | Ulrich Germann <Ulrich.Germann@gmail.com> | 2015-10-26 21:26:56 +0300 |
commit | ca71a28d61a105681abfd90c0a0ab4eaa497bcb4 (patch) | |
tree | 0eeddef196c7766dba9d75d181d4162d58afbd0f /run-regtests.sh | |
parent | edff4822c09d02686cb9f3150253da1fc0a76aae (diff) |
Convenience scripts for compiling and regression testing.
Diffstat (limited to 'run-regtests.sh')
-rwxr-xr-x | run-regtests.sh | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/run-regtests.sh b/run-regtests.sh new file mode 100755 index 000000000..e5466223b --- /dev/null +++ b/run-regtests.sh @@ -0,0 +1,9 @@ +#!/bin/bash +# 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 + +git submodule init +git submodule update regtest +./bjam -j$(nproc) --with-irstlm=./opt --with-boost=./opt --with-cmph=./opt --with-xmlrpc-c=./opt --with-regtest=./regtest $@ |