#!/bin/bash set -e if [ $# -ne 4 ]; then echo "Usage ./build build_folder CC CXX FC" exit 1 fi if [ -d "$1" ]; then echo "Folder {} already exists." exit 1 fi BUILD_FOLDER="$1" mkdir -p $BUILD_FOLDER cd $BUILD_FOLDER CC="$2" CXX="$3" FC="$4" make VERBOSE=1 .. exit 0