changeset 51:054cc00e23d2

examples: add sci.sh
author David Demelier <markand@malikania.fr>
date Wed, 17 Aug 2022 09:37:45 +0200
parents b474f0985e39
children 95bc6b4ec753
files examples/sci.sh
diffstat 1 files changed, 25 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/examples/sci.sh	Wed Aug 17 09:37:45 2022 +0200
@@ -0,0 +1,25 @@
+#!/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