Skip to content

Commit 73c7cea

Browse files
committed
Add CI build workflow
1 parent 972e243 commit 73c7cea

File tree

1 file changed

+43
-0
lines changed

1 file changed

+43
-0
lines changed

.github/workflows/build.yml

Lines changed: 43 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,43 @@
1+
name: build
2+
3+
on:
4+
push:
5+
pull_request:
6+
7+
jobs:
8+
build-ubuntu:
9+
runs-on: ubuntu-latest
10+
steps:
11+
- name: Checkout
12+
uses: actions/checkout@v4
13+
with:
14+
submodules: recursive
15+
16+
- name: Install Dependencies
17+
run: |
18+
sudo apt-get update
19+
sudo apt-get install -y cmake g++ zlib1g-dev libboost-program-options-dev
20+
21+
- name: Build CryptoMiniSat
22+
run: |
23+
cmake -S cryptominisat -B cryptominisat/build \
24+
-DCMAKE_BUILD_TYPE=RelWithDebInfo \
25+
-DCMAKE_POLICY_VERSION_MINIMUM=3.5 \
26+
-DENABLE_BREAKID=OFF \
27+
-DENABLE_PYTHON_INTERFACE=OFF
28+
cmake --build cryptominisat/build -j 2
29+
30+
- name: Build Louvain Community
31+
run: |
32+
cmake -S louvain-community -B louvain-community/build \
33+
-DCMAKE_BUILD_TYPE=RelWithDebInfo \
34+
-DCMAKE_POLICY_VERSION_MINIMUM=3.5
35+
cmake --build louvain-community/build -j 2
36+
37+
- name: Build manthan-preprocess
38+
run: |
39+
cmake -S . -B build \
40+
-DCMAKE_BUILD_TYPE=RelWithDebInfo \
41+
-DCMAKE_POLICY_VERSION_MINIMUM=3.5 \
42+
-Dlouvain_communities_DIR=./louvain-community/build
43+
cmake --build build -j 2

0 commit comments

Comments
 (0)