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 .
 | |
| 
 |