From cdbf4295b2c21e7ffa66c36eee096de7e20b5fa0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Pierre=20Pe=CC=81bay?= Date: Wed, 20 Sep 2023 07:14:26 -0400 Subject: [PATCH] #39: Add developer build script --- dev-build.sh | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) create mode 100644 dev-build.sh diff --git a/dev-build.sh b/dev-build.sh new file mode 100644 index 0000000000..7d4746ca90 --- /dev/null +++ b/dev-build.sh @@ -0,0 +1,21 @@ +#!/bin/bash + +set -ex + +# Paths +VT-TV_DIR="/path/to/vt-tv/source" +BUILD_DIR="/path/to/vt-tv/build" +VTK_DIR="/path/to/compiled/VTK" +JOBS="2" # for instance, modify as needed + +mkdir -p "${BUILD_DIR}" +cd "${BUILD_DIR}" + +# Remove CMakeCache for fresh build +# rm -rf CMakeCache.txt + +cmake -B "${BUILD_DIR}" \ + -DVTK_DIR="${VTK_DIR}" \ + "${VT-TV_DIR}" + +time cmake --build . --parallel -j"${JOBS}"