build.sh

#!/bin/bash -e
#
# This scripts builds Coek in the `_build` directory to support local
# development and debugging.
#
# This uses Spack to install third-party dependencies in the `_spack` directory.
#
clang=0
compact="OFF"
debug="OFF"
python_exe=""
scip_config="OFF"
spack_dev=0
spack_env="coekenv"
spack_home=`pwd`/_spack
spack_reinstall=0

with_asl="ON"
with_catch="ON"
with_fmtlib="ON"
with_highs="ON"
with_python="OFF"
with_rapidjson="ON"
with_scip=""
with_spack=0
with_valgrind=""
while [[ $# -gt 0 ]]; do
    case $1 in
        --help)
                    echo "build.sh [--help] [--clang] [--compact] [--debug] [--python] [--python-exe <file>] [--scip] [--spack-dev] [--spack-env <env>] [--spack-home <dir>] [--spack-reinstall] [--valgrind] [--with-spack]"
                    exit 
        ;;
        --clang)
                    clang=1
                    shift
        ;;
        --compact)
                    compact="ON"
                    shift
        ;;
        --debug)
                    debug="ON"
                    shift
        ;;
        --spack-env)
                    spack_env="$2"
                    shift
                    shift
        ;;
        --python)
                    with_python="ON"
                    shift
        ;;
        --python-exe)
                    python_exe="-DPython_EXECUTABLE=$2"
                    shift
        ;;
        --scip)
                    with_scip="scip"
                    scip_config="ON"
                    shift
        ;;
        --spack-dev)
                    spack_dev=1
                    shift
        ;;
        --spack-home)
                    spack_home="$2"
                    shift
                    shift
        ;;
        --spack-reinstall)
                    spack_reinstall=1
                    shift
        ;;
        --valgrind)
                    with_valgrind="valgrind"
                    shift
        ;;
        --with-spack)
                    with_spack=1
                    shift
        ;;
        *)
                    echo "unknown option: $1"
                    exit 
        ;;
    esac
done

if [[ "$with_spack" -eq 1 ]]; then
    #
    # Setup directories
    #
    export SPACK_HOME=${spack_home}
    echo "SPACK_HOME=${SPACK_HOME}"
    if [[ "${spack_reinstall}" -eq 1 ]]; then
        \rm -Rf ${SPACK_HOME}
    fi
    if test -d _spack_tpls; then
        cd _spack_tpls
        git pull
        cd ..
    else
        if [[ "$spack_dev" -eq 0 ]]; then
            \rm -Rf _spack_tpls
            git clone --depth 1 https://github.com/or-fusion/or-fusion-spack-repo.git _spack_tpls
        else
            git clone git@github.com:or-fusion/or-fusion-spack-repo.git _spack_tpls
            cd _spack_tpls
            git checkout dev
            git pull
            cd ..
        fi
    fi
    #
    # Configure gurobi
    #
    if [[ -z "${GUROBI_HOME}" ]]; then
        with_gurobi="OFF"
    else
        with_gurobi="ON"
    fi
    #
    # Configure clang
    #
    if [[ $clang -eq 1 ]]; then
       export CXX=clang++
       export CC=clang
    fi
    #
    # Install spack
    #
    if test -d ${SPACK_HOME}; then
        echo ""
        echo "WARNING: Spack directory exists."
        echo ""
    else
        echo ""
        echo "Installing Coek dependencies using Spack"
        echo ""
        git clone --depth 1 https://github.com/spack/spack.git ${SPACK_HOME}
        . ${SPACK_HOME}/share/spack/setup-env.sh
        echo ""
        echo "Removing _spack_tpls"
        echo ""
        spack repo remove `pwd`/_spack_tpls/repo | true
        echo ""
        echo "Adding _spack_tpls"
        echo ""
        spack repo add `pwd`/_spack_tpls/repo
        spack repo list
        spack external find
        spack compiler find
        spack env create $spack_env
        spack env activate $spack_env
        spack add asl fmt@8.0.1 rapidjson catch2 highs $with_valgrind $with_scip
        spack install
        spack env deactivate
        spack repo remove `pwd`/_spack_tpls/repo
    fi
    if test -d ${SPACK_HOME}; then
        export SPACK_HOME=$(cd ${SPACK_HOME}; pwd)
        echo ""
        echo "SPACK_HOME=${SPACK_HOME}"
        echo ""
    fi
    spack_cmake_options="-DCMAKE_PREFIX_PATH=${SPACK_HOME}/var/spack/environments/${spack_env}/.spack-env/view"
else
    spack_cmake_options=""
    with_python="OFF"
    python_exe=""
    with_gurobi="OFF"
    with_highs="OFF"
    with_fmtlib="OFF"
    with_rapidjson="OFF"
    with_catch="OFF"
    with_asl="OFF"
fi
#
# Install coek
#
echo "Building Coek"
echo ""
\rm -Rf _build
mkdir _build
cd _build
cmake $spack_cmake_options -Dwith_debug=${debug} -Dwith_python=${with_python} -Dwith_pybind11=${with_python} $python_exe -Dwith_gurobi=$with_gurobi -Dwith_highs=$with_highs -Dwith_cppad=OFF -Dwith_fmtlib=$with_fmtlib -Dwith_rapidjson=$with_rapidjson -Dwith_catch2=$with_catch -Dwith_tests=$with_catch -Dwith_asl=$with_asl -Dwith_openmp=OFF -Dwith_compact=${compact} ..
make -j20
make install