Skip to content

Commit

Permalink
Use make for the build instead of ninja
Browse files Browse the repository at this point in the history
The ABC dependency needs it

Signed-off-by: Martin Tzvetanov Grigorov <[email protected]>
  • Loading branch information
martin-g committed Jan 28, 2025
1 parent d3d24b1 commit 0eeea49
Show file tree
Hide file tree
Showing 2 changed files with 5 additions and 5 deletions.
8 changes: 4 additions & 4 deletions recipes/hal/build.sh
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ set -xe

mkdir -p build
cd build
cmake .. -G "Ninja" --debug-output \
cmake .. \
-DUSE_VENDORED_PYBIND11=OFF \
-DUSE_VENDORED_QUAZIP=ON \
-DUSE_VENDORED_IGRAPH=ON \
Expand All @@ -13,7 +13,7 @@ cmake .. -G "Ninja" --debug-output \
-DHAL_VERSION_MINOR=4 \
-DHAL_VERSION_PATCH=1 \
-DZ3_LIBRARIES=$CONDA_PREFIX/lib \
-DZ3_INCLUDE_DIRS=$CONDA_PREFIX/include
# ${CMAKE_ARGS}
ninja install
-DZ3_INCLUDE_DIRS=$CONDA_PREFIX/include \
${CMAKE_ARGS}
make -j"${CPU_COUNT}" install

2 changes: 1 addition & 1 deletion recipes/hal/recipe.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -21,7 +21,7 @@ requirements:
- ${{ stdlib('c') }}
- ${{ compiler('cxx') }}
- cmake
- ninja
- make
- pkgconf
- autoconf
- pybind11
Expand Down

0 comments on commit 0eeea49

Please sign in to comment.