mirror of
https://gitlab.com/splashmapper/splash.git
synced 2026-02-11 14:30:48 +01:00
25 lines
498 B
Bash
Executable File
25 lines
498 B
Bash
Executable File
#!/bin/bash
|
|
|
|
if [ ! -f README.md -o $(cat README.md | grep -c splash) == 0 ]; then
|
|
echo "This script must be executed from the Splash source directory."
|
|
exit 1
|
|
fi
|
|
|
|
# Make sure the submodules have been initialized and updated
|
|
git submodule update --init
|
|
cd external
|
|
|
|
# We use the same prefix for all built libs
|
|
if [ ! -d third_parties ]; then
|
|
rm -rf third_parties
|
|
mkdir third_parties
|
|
fi
|
|
|
|
# ZMQ
|
|
echo "Building ZMQ..."
|
|
./build_zmq.sh
|
|
|
|
# Sh4lt
|
|
echo "Building Sh4lt..."
|
|
./build_sh4lt.sh
|