blob: 6edd60bd9b07da446b415ea3428e7a3489631784 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
#!/usr/bin/env bash
set -e
ROOTDIR="$(dirname "$0")/.."
BUILDDIR="${ROOTDIR}/build"
if [[ $# -eq 0 ]]; then
BUILD_TYPE=Release
else
BUILD_TYPE="$1"
fi
if [[ "$(git tag --points-at HEAD 2>/dev/null)" == v* ]]; then
touch "${ROOTDIR}/prerelease.txt"
fi
mkdir -p "${BUILDDIR}"
cd "${BUILDDIR}"
cmake .. -DCMAKE_BUILD_TYPE="$BUILD_TYPE" "${@:2}"
make -j2
if [[ "${CI}" == "" ]]; then
echo "Installing ..."
sudo make install
fi
|
