From: Mart Lubbers <mart@martlubbers.net>
Date: Mon, 6 Feb 2017 13:48:42 +0000 (+0100)
Subject: add installation script
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=c6709b5f2b35baa57f11e557d4baa96d6b9a54cf;p=mTask.git

add installation script
---

diff --git a/.gitignore b/.gitignore
index 0cbbe1b..e07a826 100644
--- a/.gitignore
+++ b/.gitignore
@@ -2,9 +2,8 @@ Clean System Files
 mTask
 mTaskExamples
 sapl
-mTask-data
 mTaskInterpret
 mTaskMakeSymbols
-miTask-data
-miTask-www
+*-data
+*-www
 miTask
diff --git a/install_clean.sh b/install_clean.sh
new file mode 100755
index 0000000..8d877a9
--- /dev/null
+++ b/install_clean.sh
@@ -0,0 +1,25 @@
+#!/bin/sh
+set -e
+if [ "$#" -eq 0 ];
+then
+	echo "Usage: $0 DIR" >&2
+	exit 1;
+fi
+TARGET="$(realpath "$1")"
+echo "Installing to $TARGET"
+rm -fr "$TARGET"
+mkdir -p "$TARGET"
+curl -sSL ftp://ftp.cs.ru.nl/pub/Clean/builds/linux-x64/clean-bundle-complete-linux-x64-latest.tgz \
+	| gunzip | tar --strip-components=1 --extract --directory="$TARGET"
+
+if [ "$CLEAN_HOME" != "$TARGET" ]; then
+	echo "Add or change \$CLEAN_HOME to \"$TARGET\""
+fi
+if ! hash clm; then
+	if [ "$(which clm)" != "$TARGET/bin" ]; then
+		echo "Replace the old clm path with \$CLEAN_HOME/bin in PATH"
+	else
+		echo "Add \$CLEAN_HOME/bin to your PATH"
+	fi
+fi
+echo "Done"