git.iko.soy/Idris-dev
on master help sign in
Merge pull request #3967 from bonds/master
bd53469Niklas Larsson
scripts/runidrismode 100644 → 100755+9−2
compare with master
unifiedsplit
@@ -9,10 +9,17 @@ if [ ! -d $RUNIDRIS_DIR ]; then
9 mkdir $RUNIDRIS_DIR
9 mkdir $RUNIDRIS_DIR
10 chmod 700 $RUNIDRIS_DIR
10 chmod 700 $RUNIDRIS_DIR
11fi
11fi
12+
13+OS=`uname -s`
14+case $OS in
15+ OpenBSD ) TEMP_NAME="runidris-`sha1 -q $1`" ;;
12−TEMP_NAME="runidris-`sha1sum $1 | cut -c1-40`"
16+ * ) TEMP_NAME="runidris-`sha1sum $1 | cut -c1-40`" ;;
17+esac
18+
13FP="$RUNIDRIS_DIR/$TEMP_NAME"
19FP="$RUNIDRIS_DIR/$TEMP_NAME"
20+cp "$1" "$FP.idr" # idris won't compile the script unless it ends in .idr
14if [ ! -e $FP ]; then
21if [ ! -e $FP ]; then
15− "${IDRIS:-idris}" $1 --ibcsubdir "$RUNIDRIS_DIR" -i "." -o $FP
22+ "${IDRIS:-idris}" "$FP.idr" --ibcsubdir "$RUNIDRIS_DIR" -i "." -o $FP
16fi
23fi
17shift
24shift
18"$FP" "$@"
25"$FP" "$@"
scripts/runidris-nodemode 100644 → 100755+11−4
@@ -9,10 +9,17 @@ if [ ! -d $RUNIDRIS_DIR ]; then
9 mkdir $RUNIDRIS_DIR
9 mkdir $RUNIDRIS_DIR
10 chmod 700 $RUNIDRIS_DIR
10 chmod 700 $RUNIDRIS_DIR
11fi
11fi
12+
13+OS=`uname -s`
14+case $OS in
15+ OpenBSD ) TEMP_NAME="runidris-`sha1 -q $1`" ;;
12−TEMP_NAME="runidris-`sha1sum $1 | cut -c1-40`.js"
16+ * ) TEMP_NAME="runidris-`sha1sum $1 | cut -c1-40`" ;;
17+esac
18+
13FP="$RUNIDRIS_DIR/$TEMP_NAME"
19FP="$RUNIDRIS_DIR/$TEMP_NAME"
20+cp "$1" "$FP.idr" # idris won't compile the script unless it ends in .idr
14−if [ ! -e $FP ]; then
21+if [ ! -e "$FP.js" ]; then
15− "${IDRIS:-idris}" --codegen node --ibcsubdir "$RUNIDRIS_DIR" -i "." $1 -o $FP
22+ "${IDRIS:-idris}" --codegen node --ibcsubdir "$RUNIDRIS_DIR" -i "." "$FP.idr" -o "$FP.js"
16fi
23fi
17shift
24shift
18−node "$FP" "$@"
25+node "$FP.js" "$@"