You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
23 lines
457 B
23 lines
457 B
5 years ago
|
#!/usr/bin/bash
|
||
|
|
|
||
|
|
DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"
|
||
|
|
cd $DIR
|
||
|
|
|
||
|
|
if [ ! -d "$DIR/clpeak" ]; then
|
||
|
|
git clone https://github.com/krrishnarraj/clpeak.git
|
||
|
5 years ago
|
|
||
|
|
cd clpeak
|
||
|
|
git fetch
|
||
|
|
git checkout ec2d3e70e1abc7738b81f9277c7af79d89b2133b
|
||
|
|
git reset --hard origin/master
|
||
|
|
git submodule update --init --recursive --remote
|
||
|
|
|
||
|
|
git apply ../run_continuously.patch
|
||
|
5 years ago
|
fi
|
||
|
|
|
||
|
|
cd clpeak
|
||
|
5 years ago
|
mkdir build || true
|
||
|
5 years ago
|
cd build
|
||
|
|
cmake ..
|
||
|
|
cmake --build .
|