summaryrefslogtreecommitdiffstats
path: root/bootstrap-cpp.sh
diff options
context:
space:
mode:
authorArnstein Ressem <aressem@gmail.com>2017-11-03 13:08:45 +0100
committerGitHub <noreply@github.com>2017-11-03 13:08:45 +0100
commit48e5b49d2bd0b2e0fc6086328c00dc0ffd898f03 (patch)
tree20996a1d74798f6f8550f1cccbdde19d020ef5f1 /bootstrap-cpp.sh
parent3b9510271a5cb3ca0e1b2040ab85b2a308974040 (diff)
Revert "Revert "Various minor fixes to bootstrap scripts""
Diffstat (limited to 'bootstrap-cpp.sh')
-rwxr-xr-xbootstrap-cpp.sh24
1 files changed, 19 insertions, 5 deletions
diff --git a/bootstrap-cpp.sh b/bootstrap-cpp.sh
index 0b1d5751e96..47d2a82622a 100755
--- a/bootstrap-cpp.sh
+++ b/bootstrap-cpp.sh
@@ -5,9 +5,10 @@ usage() {
echo "Usage: $0 <source-dir> <build-dir>" >&2
}
+# Parse arguments
if [ $# -eq 2 ]; then
- SOURCE_DIR=$(realpath $1)
- BUILD_DIR=$(realpath $2)
+ SOURCE_DIR="$1"
+ BUILD_DIR="$2"
elif [[ $# -eq 1 && ( "$1" = "-h" || "$1" = "--help" )]]; then
usage
exit 0
@@ -17,10 +18,23 @@ else
exit 1
fi
-mkdir -p "${BUILD_DIR}"
+# Check the source directory
+if [ ! -d "$SOURCE_DIR" ] ; then
+ echo "Source dir $SOURCE_DIR not found" >&2
+ exit 1
+fi
+SOURCE_DIR=$(realpath "${SOURCE_DIR}")
+
+# Check (and possibly create) the build directory
+mkdir -p "${BUILD_DIR}" || {
+ echo "Failed to create build directory" >&2
+ exit 1
+}
+BUILD_DIR=$(realpath "${BUILD_DIR}")
+# Build it
source /opt/rh/devtoolset-6/enable || true
cd "${SOURCE_DIR}"
-sh ./bootstrap.sh full
+bash ./bootstrap.sh full
cd "${BUILD_DIR}"
-sh ${SOURCE_DIR}/bootstrap-cmake.sh ${SOURCE_DIR}
+bash ${SOURCE_DIR}/bootstrap-cmake.sh "${SOURCE_DIR}"