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.
		
		
		
		
		
			
		
			
				
					
					
						
							24 lines
						
					
					
						
							430 B
						
					
					
				
			
		
		
	
	
							24 lines
						
					
					
						
							430 B
						
					
					
				#!/bin/bash
 | 
						|
 | 
						|
set -e
 | 
						|
 | 
						|
DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null && pwd )"
 | 
						|
cd $DIR
 | 
						|
 | 
						|
if [ ! -d palanteer ]; then
 | 
						|
  git clone https://github.com/dfeneyrou/palanteer
 | 
						|
  pip install wheel
 | 
						|
  sudo apt install libunwind-dev libdw-dev
 | 
						|
fi
 | 
						|
 | 
						|
cd palanteer
 | 
						|
git pull
 | 
						|
 | 
						|
mkdir -p build
 | 
						|
cd build
 | 
						|
cmake .. -DCMAKE_BUILD_TYPE=Release
 | 
						|
make -j$(nproc)
 | 
						|
 | 
						|
pip install --force-reinstall python/dist/palanteer*.whl
 | 
						|
 | 
						|
cp bin/palanteer $DIR/viewer
 | 
						|
 |