Separate platform-specific installers

2020-01-20 15:50:43 +09:00
parent 4e3c5d7202
commit 3ed1513ea3
12 changed files with 100 additions and 197 deletions
@@ -0,0 +1,20 @@
+#!/bin/bash
+
+if [ -f "$HOME/.bash_profile" ]
+then
+    . "$HOME"/.bash_profile
+fi
+
+export ZOMP_DIR="${ZOMP_DIR:-$HOME/zomp}"
+export ZX_VERSION=$(cat "$ZOMP_DIR/etc/version.txt")
+export ZX_DIR="$ZOMP_DIR/lib/otpr/zx/$ZX_VERSION"
+
+start_dir="$PWD"
+cd "$ZX_DIR"
+if [ ! -f ebin/zx.erl ]
+then
+    chmod +x make_zx
+    ./make_zx
+fi
+cd "$start_dir"
+erl -noshell -pa "$ZX_DIR/ebin" -run zx do -extra $@
@@ -0,0 +1,20 @@
+#!/bin/bash
+
+if [ -f "$HOME/.bash_profile" ]
+then
+    . "$HOME"/.bash_profile
+fi
+
+export ZOMP_DIR="${ZOMP_DIR:-$HOME/zomp}"
+export ZX_VERSION=$(cat "$ZOMP_DIR/etc/version.txt")
+export ZX_DIR="$ZOMP_DIR/lib/otpr/zx/$ZX_VERSION"
+
+start_dir="$PWD"
+cd "$ZX_DIR"
+if [ ! -f ebin/zx.erl ]
+then
+    chmod +x make_zx
+    ./make_zx
+fi
+cd "$start_dir"
+erl -pa "$ZX_DIR/ebin" -run zx do -extra $@