diff options
author | Roman Grundkiewicz <rgrundkiewicz@gmail.com> | 2022-02-07 15:49:45 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-02-07 15:49:45 +0300 |
commit | ceff1a6fd43066ac5d2b927e0a4ff3cb46960cc6 (patch) | |
tree | a655f201ba282aa11edef3640b530d40d75bc164 | |
parent | 0716f4e012d1e3f7543bffa8aecc97ce9c903e17 (diff) |
Add COMPILE_SERVER to the compilation comand in README
-rw-r--r-- | README.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -116,7 +116,7 @@ On Jenkins, Marian is compiled using the following commands: CC=/usr/bin/gcc-8 CXX=/usr/bin/g++-8 CUDAHOSTCXX=/usr/bin/g++8 \ cmake -DUSE_SENTENCEPIECE=ON -DUSE_FBGEMM=on \ - -DCOMPILE_CPU=on -DCOMPILE_TESTS=ON -DCOMPILE_EXAMPLES=ON \ + -DCOMPILE_CPU=on -DCOMPILE_TESTS=ON -DCOMPILE_EXAMPLES=ON -DCOMPILE_SERVER=ON \ -DCUDA_TOOLKIT_ROOT_DIR=/var/lib/jenkins/cuda-10.1 .. make -j make test |