feat: finished editable profiles; profile prop to pull or not on build; profile props to set alternate component repos

This commit is contained in:
Gabriele Musco 2023-06-25 15:25:15 +02:00
parent 371f874e3b
commit 5382ff92d2
No known key found for this signature in database
GPG key ID: 1068D795C80E51DE
21 changed files with 418 additions and 112 deletions

View file

@ -6,9 +6,23 @@ set -ev
REPO_DIR=$1
"$(dirname -- "$0")/_clone_or_pull.sh" "https://gitlab.com/znixian/OpenOVR.git" "$REPO_DIR"
DO_PULL=$2
REPO_URL=$3
if [[ -z $REPO_DIR ]] || [[ -z $DO_PULL ]]; then
echo "Usage: $0 REPO_DIR DO_PULL [REPO_URL]"
exit 1
fi
if [[ -z $REPO_URL ]]; then
REPO_URL="https://gitlab.com/znixian/OpenOVR.git"
fi
"$(dirname -- "$0")/_clone_or_pull.sh" "$REPO_URL" "$REPO_DIR" "$DO_PULL"
cd "$REPO_DIR"
rm -rf build
mkdir -p build
cd build
cmake -DCMAKE_BUILD_TYPE=Release ..