Skip to content
GitLab
Commit 41346aa3 authored by Kučera Petr RNDr. Ph.D.'s avatar Kučera Petr RNDr. Ph.D.
Browse files

Optional glucose support

parent 214bc7fb
Hide whitespace changes
Inline Side-by-side
Makefile
View file @ 41346aa3
USE_KISSAT=ON
USE_GLUCOSE=ON
USE_CADICAL=ON
USE_KISSAT=ON
all:
cd build && make
......@@ -14,13 +15,13 @@ build:
mkdir build
cmake: build
cd build && cmake -DCMAKE_BUILD_TYPE=Release -DUSE_KISSAT=$(USE_KISSAT) -DUSE_CADICAL=$(USE_CADICAL) ..
cd build && cmake -DCMAKE_BUILD_TYPE=Release -DUSE_KISSAT=$(USE_KISSAT) -DUSE_GLUCOSE=$(USE_GLUCOSE) -DUSE_CADICAL=$(USE_CADICAL) ..
cmake_debug: build
cd build && cmake -DCMAKE_BUILD_TYPE=Debug -DUSE_KISSAT=$(USE_KISSAT) -DUSE_CADICAL=$(USE_CADICAL) ..
cd build && cmake -DCMAKE_BUILD_TYPE=Debug -DUSE_KISSAT=$(USE_KISSAT) -DUSE_GLUCOSE=$(USE_GLUCOSE) -DUSE_CADICAL=$(USE_CADICAL) ..
cmake_static: build
cd build && cmake -DBUILD_STATIC=ON -DCMAKE_BUILD_TYPE=Release -DUSE_KISSAT=$(USE_KISSAT) -DUSE_CADICAL=$(USE_CADICAL) ..
cd build && cmake -DBUILD_STATIC=ON -DCMAKE_BUILD_TYPE=Release -DUSE_KISSAT=$(USE_KISSAT) -DUSE_GLUCOSE=$(USE_GLUCOSE) -DUSE_CADICAL=$(USE_CADICAL) ..
cmake_subool_glucose: build
cd build && cmake -DBUILD_SUBOOL_GLUCOSE=ON -DCMAKE_BUILD_TYPE=Release -DUSE_KISSAT=$(USE_KISSAT) -DUSE_CADICAL=$(USE_CADICAL) ..
cd build && cmake -DBUILD_SUBOOL_GLUCOSE=ON -DCMAKE_BUILD_TYPE=Release -DUSE_KISSAT=$(USE_KISSAT) -DUSE_GLUCOSE=$(USE_GLUCOSE) -DUSE_CADICAL=$(USE_CADICAL) ..
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment