#!/usr/bin/env bash

set -e -x

if [ "$CONFIG" = "gcc" ]; then
	echo "Configuring for gcc."
	make config-gcc
elif [ "$CONFIG" = "clang" ]; then
	echo "Configuring for clang."
	make config-clang
else
    echo "CONFIG needs to be set to either 'clang' or 'gcc'" >&2
    exit 1
fi

ncpu=4
if nproc; then
    ncpu=$(nproc)
fi

make -j ${ncpu}