-
Jean-Baptiste Keck authoredJean-Baptiste Keck authored
build.sh 290 B
#!/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