Skip to content

Commit c1d28e2

Browse files
committed
try 9
1 parent cb2248c commit c1d28e2

File tree

1 file changed

+1
-22
lines changed

1 file changed

+1
-22
lines changed

.github/workflows/ci.yml

Lines changed: 1 addition & 22 deletions
Original file line numberDiff line numberDiff line change
@@ -18,12 +18,8 @@ jobs:
1818
matrix:
1919
build-type: [Debug, Release]
2020
enable-coverage: [false, true]
21-
include:
21+
exclude:
2222
- build-type: Debug
23-
enable-coverage: false
24-
- build-type: Release
25-
enable-coverage: false
26-
- build-type: Release
2723
enable-coverage: true
2824

2925
steps:
@@ -135,23 +131,6 @@ jobs:
135131
136132
- name: Configure and build
137133
run: |
138-
# Find the Homebrew prefix again for this step
139-
if [ -d /opt/homebrew ]; then
140-
BREW_PREFIX=/opt/homebrew
141-
else
142-
BREW_PREFIX=/usr/local
143-
fi
144-
export LDFLAGS="-L$BREW_PREFIX/lib"
145-
export CPPFLAGS="-I$BREW_PREFIX/include"
146-
export PKG_CONFIG_PATH="$BREW_PREFIX/lib/pkgconfig"
147-
export CMAKE_PREFIX_PATH="$BREW_PREFIX"
148-
export GMP_HOME="$BREW_PREFIX"
149-
echo "Environment variables for build:"
150-
echo "LDFLAGS=$LDFLAGS"
151-
echo "CPPFLAGS=$CPPFLAGS"
152-
echo "CMAKE_PREFIX_PATH=$CMAKE_PREFIX_PATH"
153-
echo "GMP_HOME=$GMP_HOME"
154-
export LD_LIBRARY_PATH=/usr/local/lib/:${LD_LIBRARY_PATH}
155134
mkdir -p build
156135
cd build
157136
cmake -DCMAKE_BUILD_TYPE=Release -DCMAKE_PREFIX_PATH=$BREW_PREFIX ..

0 commit comments

Comments
 (0)