1
2
3
4
5
6
7
8
9
10
11
12
13
|
#!/bin/bash
src_dir=$(dirname ${BASH_SOURCE[0]})
build_dir=${src_dir}-build
if [ -f "/usr/bin/ninja" ] ; then
BUILD_COMMAND="ninja"
else
BUILD_COMMAND="make"
fi
${src_dir}/build
cd ${build_dir}
sudo ${BUILD_COMMAND} install
|