mirror of
https://github.com/brl/mutter.git
synced 2024-11-30 03:50:47 -05:00
7eb68b43a9
There's no alternative backend in sight for us, but it's nice to only deal with a single build tool. Part-of: <https://gitlab.gnome.org/GNOME/mutter/-/merge_requests/1957>
40 lines
609 B
Bash
Executable File
40 lines
609 B
Bash
Executable File
#!/bin/bash
|
|
|
|
set -e
|
|
|
|
if [[ $# -lt 3 ]]; then
|
|
echo Usage: $0 [options] [repo-url] [commit] [subdir]
|
|
echo Options:
|
|
echo -Dkey=val
|
|
exit 1
|
|
fi
|
|
|
|
MESON_OPTIONS=()
|
|
|
|
while [[ $1 =~ ^-D ]]; do
|
|
MESON_OPTIONS+=( "$1" )
|
|
shift
|
|
done
|
|
|
|
REPO_URL="$1"
|
|
TAG_OR_BRANCH="$2"
|
|
SUBDIR="$3"
|
|
COMMIT="$4"
|
|
|
|
REPO_DIR="$(basename ${REPO_URL%.git})"
|
|
|
|
git clone --depth 1 "$REPO_URL" -b "$TAG_OR_BRANCH"
|
|
pushd "$REPO_DIR"
|
|
pushd "$SUBDIR"
|
|
|
|
if [ ! -z "$COMMIT" ]; then
|
|
git fetch origin "$COMMIT"
|
|
git checkout "$COMMIT"
|
|
fi
|
|
|
|
meson --prefix=/usr _build "${MESON_OPTIONS[@]}"
|
|
meson install -C _build
|
|
popd
|
|
popd
|
|
rm -rf "$REPO_DIR"
|