view examples/sci.sh @ 51:054cc00e23d2

examples: add sci.sh
author David Demelier <markand@malikania.fr>
date Wed, 17 Aug 2022 09:37:45 +0200
parents
children
line wrap: on
line source

#!/bin/sh

set -e

readonly wrkdir="$(mktemp -d /tmp/sci-XXXXXX)"
readonly repo="http://hg.malikania.fr/sci"

trap "cleanup" INT TERM EXIT

cleanup()
{
	rm -rf $wrkdir
}

if [ "$#" -ne 1 ]; then
	echo "abort: $(basename $0) revision" 1>&2
	exit 1
fi

echo "=> Cloning repository $repo (revision $1) into $wrkdir"
hg clone -r "$1" "$repo" "$wrkdir"
cd "$wrkdir"

echo "=> Building"
make