From 99449161271f08e8a48ea71cae86ad9bd0e1e828 Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Mon, 16 Jun 2014 23:28:12 +0000
Subject: [PATCH] src/runtime/c/setup.sh: executable version of INSTALL, used
 from debian/rules

---
 src/runtime/c/setup.sh | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100644 src/runtime/c/setup.sh

diff --git a/src/runtime/c/setup.sh b/src/runtime/c/setup.sh
new file mode 100644
index 000000000..d77bf6873
--- /dev/null
+++ b/src/runtime/c/setup.sh
@@ -0,0 +1,21 @@
+
+# Executable version of INSTALL
+
+command="$1"
+shift
+
+case "$command" in
+  configure)
+    [ `uname` != Darwin ] || glibtoolize
+    autoreconf -i
+    ./configure "$@"
+    ;;
+  build)
+    make "$@"
+    ;;
+  copy|install)
+    make install "$@"
+    ;;
+  *)
+    echo "Usage: setup.sh [configure|build|copy|install] ..."
+esac