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.
		
		
		
		
		
			
		
			
				
					
					
						
							22 lines
						
					
					
						
							457 B
						
					
					
				
			
		
		
	
	
							22 lines
						
					
					
						
							457 B
						
					
					
				#!/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
 | 
						|
 | 
						|
  cd clpeak
 | 
						|
  git fetch
 | 
						|
  git checkout ec2d3e70e1abc7738b81f9277c7af79d89b2133b
 | 
						|
  git reset --hard origin/master
 | 
						|
  git submodule update --init --recursive --remote
 | 
						|
 | 
						|
  git apply ../run_continuously.patch
 | 
						|
fi
 | 
						|
 | 
						|
cd clpeak
 | 
						|
mkdir build || true
 | 
						|
cd build
 | 
						|
cmake ..
 | 
						|
cmake --build .
 | 
						|
 |