mirror of
https://gitlab.com/splashmapper/splash.git
synced 2026-02-14 07:45:46 +01:00
10 lines
307 B
Bash
Executable File
10 lines
307 B
Bash
Executable File
#!/bin/bash
|
|
|
|
SOURCE_DIR="$(cd $(dirname ${BASH_SOURCE[0]}) && pwd)"
|
|
|
|
cd ${SOURCE_DIR}/sh4lt
|
|
rm -rf build
|
|
mkdir build && cd build
|
|
cmake -GNinja -DCMAKE_POLICY_VERSION_MINIMUM=3.10 -DCMAKE_INSTALL_PREFIX=${SOURCE_DIR}/third_parties -DCMAKE_BUILD_TYPE=Release -DSH4LT_WITH_PYTHON=off ..
|
|
ninja && ninja install
|