Skip to content

GitLab

Commit 718d5a45 authored by Kučera Petr RNDr. Ph.D.'s avatar Kučera Petr RNDr. Ph.D.
Browse files

Added build.sh

parent a9bacc2a
Hide whitespace changes
Inline Side-by-side
build.sh 0 → 100644
View file @ 718d5a45
#!/bin/sh
# Script for building the whole project
if [ -z "$GLUCOSE_HOME" ]
then
GLUCOSE_HOME="./solvers/glucose"
fi
cd solvers/glucose/simp
make libr
cd ../../..
make cmake
make
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