mirror of
https://gitlab.com/gabmus/envision.git
synced 2025-07-20 07:51:36 +00:00
feat: build libsurvive script; common clone or pull script
This commit is contained in:
parent
3f727cb3f2
commit
4f43920c27
3 changed files with 46 additions and 14 deletions
31
scripts/_clone_or_pull.sh
Executable file
31
scripts/_clone_or_pull.sh
Executable file
|
@ -0,0 +1,31 @@
|
||||||
|
#!/bin/bash
|
||||||
|
|
||||||
|
# exit on error
|
||||||
|
# echo commands
|
||||||
|
set -ev
|
||||||
|
|
||||||
|
GIT_URL=$1
|
||||||
|
REPO_DIR=$2
|
||||||
|
|
||||||
|
_usage() {
|
||||||
|
echo "Usage: $0 GIT_URL REPO_DIR"
|
||||||
|
exit 1
|
||||||
|
}
|
||||||
|
|
||||||
|
if [[ -z $REPO_DIR ]]; then
|
||||||
|
_usage
|
||||||
|
fi
|
||||||
|
|
||||||
|
if [[ -z $GIT_URL ]]; then
|
||||||
|
_usage
|
||||||
|
fi
|
||||||
|
|
||||||
|
if [[ -d "$REPO_DIR" ]]; then
|
||||||
|
if [[ ! -d "$REPO_DIR/.git" ]]; then
|
||||||
|
echo "Error: $REPO_DIR exists but is not a git repository"
|
||||||
|
exit 1
|
||||||
|
fi
|
||||||
|
git -C "$REPO_DIR" pull
|
||||||
|
else
|
||||||
|
git clone "$GIT_URL" "$REPO_DIR" --recurse-submodules
|
||||||
|
fi
|
14
scripts/build_libsurvive.sh
Executable file
14
scripts/build_libsurvive.sh
Executable file
|
@ -0,0 +1,14 @@
|
||||||
|
#!/bin/bash
|
||||||
|
|
||||||
|
set -ev
|
||||||
|
|
||||||
|
REPO_DIR=$1
|
||||||
|
|
||||||
|
"$(dirname -- "$0")/_clone_or_pull.sh" "https://github.com/cntools/libsurvive" "$REPO_DIR"
|
||||||
|
|
||||||
|
cd "$REPO_DIR"
|
||||||
|
mkdir -p build
|
||||||
|
cd build
|
||||||
|
cmake -DCMAKE_BUILD_TYPE=Release -DENABLE_api_example=OFF -DCMAKE_SKIP_INSTALL_RPATH=YES -Wno-dev ..
|
||||||
|
make clean
|
||||||
|
make -j$(nproc)
|
|
@ -6,20 +6,7 @@ set -ev
|
||||||
|
|
||||||
REPO_DIR=$1
|
REPO_DIR=$1
|
||||||
|
|
||||||
if [[ -z $REPO_DIR ]]; then
|
"$(dirname -- "$0")/_clone_or_pull.sh" "https://github.com/cntools/libsurvive" "$REPO_DIR"
|
||||||
echo "Usage: $0 MONADO_REPO_DIR"
|
|
||||||
exit 1
|
|
||||||
fi
|
|
||||||
|
|
||||||
if [[ -d "$REPO_DIR" ]]; then
|
|
||||||
if [[ ! -d "$REPO_DIR/.git" ]]; then
|
|
||||||
echo "Error: $REPO_DIR exists but is not a git repository"
|
|
||||||
exit 1
|
|
||||||
fi
|
|
||||||
git -C "$REPO_DIR" pull
|
|
||||||
else
|
|
||||||
git clone https://gitlab.freedesktop.org/monado/monado "$REPO_DIR"
|
|
||||||
fi
|
|
||||||
|
|
||||||
cd "$REPO_DIR"
|
cd "$REPO_DIR"
|
||||||
mkdir -p build
|
mkdir -p build
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue