chore(ci): fix C API build system to manage profiles other than release

This commit is contained in:
Arthur Meyre
2023-06-29 13:27:57 +02:00
parent 10f034171f
commit 59ef915095
4 changed files with 27 additions and 7 deletions

View File

@@ -40,7 +40,7 @@ mkdir -p "${TFHE_BUILD_DIR}"
cd "${TFHE_BUILD_DIR}"
cmake .. -DCMAKE_BUILD_TYPE=RELEASE
cmake .. -DCMAKE_BUILD_TYPE=RELEASE -DCARGO_PROFILE="${CARGO_PROFILE}"
make -j