From 043f37718aa5db4c9e689937eb0565c48a4ed981 Mon Sep 17 00:00:00 2001
From: Laurence Tratt <laurie@tratt.net>
Date: Wed, 19 Feb 2025 19:01:32 +0000
Subject: [PATCH] Use release-with-asserts for yk in CI.

---
 .buildbot.sh | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/.buildbot.sh b/.buildbot.sh
index dc54277..7853d8d 100644
--- a/.buildbot.sh
+++ b/.buildbot.sh
@@ -24,6 +24,12 @@ export PATH=`pwd`/.cargo/bin/:$PATH
 git clone --depth 1 --recurse-submodules --shallow-submodules https://github.com/ykjit/yk
 cd yk
 echo "yk commit: $(git show -s --format=%H)"
+cat << EOF >> Cargo.toml
+[profile.release-with-asserts]
+inherits = "release"
+debug-assertions = true
+overflow-checks = true
+EOF
 
 cd ykllvm
 ykllvm_hash=$(git rev-parse HEAD)
@@ -45,11 +51,11 @@ fi
 cd ..
 
 YKB_YKLLVM_BUILD_ARGS="define:CMAKE_C_COMPILER=/usr/bin/clang,define:CMAKE_CXX_COMPILER=/usr/bin/clang++" \
-    cargo build
+    cargo build --profile release-with-asserts
 export PATH=`pwd`/bin:${PATH}
 cd ..
 
-YK_BUILD_TYPE=debug make -j `nproc`
+YK_BUILD_TYPE=release-with-asserts make -j `nproc`
 
 # Run the bundled test suite.
 cd tests