seal-c.sh

#! /bin/bash

OPTNINJA=`which ninja`
if [ $? -eq 0 ]; then
    GENERATOR="-GNinja"
else
    GENERATOR=""
fi

set -e

# get the absolute directory name where this file is located
topdir="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"

# directory where we'll put the seal-c build
mkdir -p "${topdir}/build/seal-c"

# directory where we'll put the build results
mkdir -p "${topdir}/build/install"

# build seal-c
pushd "${topdir}/build/seal-c"
cmake "${GENERATOR}" "-DCMAKE_INSTALL_PREFIX=${topdir}/build/install" "-DCMAKE_PREFIX_PATH=${topdir}/build/install" "${topdir}/seal-c"
cmake --build . --target all
cmake --build . --target install
popd