#!/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