Skip to content

Commit da391d7

Browse files
committed
Add macOS CI build
1 parent 73c7cea commit da391d7

File tree

1 file changed

+37
-0
lines changed

1 file changed

+37
-0
lines changed

.github/workflows/build.yml

Lines changed: 37 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -41,3 +41,40 @@ jobs:
4141
-DCMAKE_POLICY_VERSION_MINIMUM=3.5 \
4242
-Dlouvain_communities_DIR=./louvain-community/build
4343
cmake --build build -j 2
44+
45+
build-macos:
46+
runs-on: macos-latest
47+
steps:
48+
- name: Checkout
49+
uses: actions/checkout@v4
50+
with:
51+
submodules: recursive
52+
53+
- name: Install Dependencies
54+
run: |
55+
brew update
56+
brew install cmake boost
57+
58+
- name: Build CryptoMiniSat
59+
run: |
60+
cmake -S cryptominisat -B cryptominisat/build \
61+
-DCMAKE_BUILD_TYPE=RelWithDebInfo \
62+
-DCMAKE_POLICY_VERSION_MINIMUM=3.5 \
63+
-DENABLE_BREAKID=OFF \
64+
-DENABLE_PYTHON_INTERFACE=OFF
65+
cmake --build cryptominisat/build -j 2
66+
67+
- name: Build Louvain Community
68+
run: |
69+
cmake -S louvain-community -B louvain-community/build \
70+
-DCMAKE_BUILD_TYPE=RelWithDebInfo \
71+
-DCMAKE_POLICY_VERSION_MINIMUM=3.5
72+
cmake --build louvain-community/build -j 2
73+
74+
- name: Build manthan-preprocess
75+
run: |
76+
cmake -S . -B build \
77+
-DCMAKE_BUILD_TYPE=RelWithDebInfo \
78+
-DCMAKE_POLICY_VERSION_MINIMUM=3.5 \
79+
-Dlouvain_communities_DIR=./louvain-community/build
80+
cmake --build build -j 2

0 commit comments

Comments
 (0)