Merge pull request #493 from aytey/fix_cms_xors
Bump CMS to 5.11.22
diff --git a/scripts/deps/setup-cms.sh b/scripts/deps/setup-cms.sh
index 2a1de65..6dd8545 100755
--- a/scripts/deps/setup-cms.sh
+++ b/scripts/deps/setup-cms.sh
@@ -31,8 +31,8 @@
git clone https://github.com/msoos/cryptominisat "${dep}"
cd "${dep}"
-# We specify the commits for the other repositories, so do for this too
-git checkout b253b66
+# We specify the tags/commits for the other repositories, so do for this too
+git checkout 5.11.22
mkdir build && cd build
cmake -DENABLE_ASSERTIONS=OFF -DCMAKE_INSTALL_PREFIX:PATH="${install_dir}" ..
cmake --build . --parallel "$(nproc)"
