Skip to content
Permalink

Comparing changes

This is a direct comparison between two commits made in this repository or its related repositories. View the default comparison for this range or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: conda-forge/staged-recipes
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: e7fd486aa222a8809ebb4e02d62154e93342f707
Choose a base ref
..
head repository: conda-forge/staged-recipes
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: 0eeea49cbbcfd0c691cd1cab66f929bff0439a7f
Choose a head ref
Showing with 1 addition and 1 deletion.
  1. +1 −1 recipes/hal/build.sh
2 changes: 1 addition & 1 deletion recipes/hal/build.sh
Original file line number Diff line number Diff line change
@@ -13,7 +13,7 @@ cmake .. \
-DHAL_VERSION_MINOR=4 \
-DHAL_VERSION_PATCH=1 \
-DZ3_LIBRARIES=$CONDA_PREFIX/lib \
-DZ3_INCLUDE_DIRS=$CONDA_PREFIX/include
-DZ3_INCLUDE_DIRS=$CONDA_PREFIX/include \
${CMAKE_ARGS}
make -j"${CPU_COUNT}" install