1 files changed, 16 insertions, 0 deletions
diff --git a/install.sh b/install.sh
new file mode 100755
index 0000000000..4f60080a14
--- /dev/null
+++ b/install.sh
@@ -0,0 +1,16 @@
+#! /bin/sh
+
+dest="$1"
+shift
+
+for f; do
+  bn=$(basename "$f")
+  dn=$(dirname "$f")
+  install -d "$dest/$dn"
+  case $bn in
+      *.cmxs|*.py) install -m 755 "$f" "$dest/$dn/$bn"
+	      ;;
+      *) install -m 644 "$f" "$dest/$dn/$bn"
+	 ;;
+  esac
+done