mirror of
https://github.com/unisonweb/unison.git
synced 2024-09-22 07:48:10 +03:00
9 lines
214 B
Bash
Executable File
9 lines
214 B
Bash
Executable File
#!/usr/bin/env bash
|
|
source="$1"
|
|
if [ -z "$source" ]; then
|
|
echo "usage: $0 <file.u>"
|
|
exit 1
|
|
fi
|
|
binary=`mktemp`
|
|
stack build && stack exec bootstrap "$source" "$binary" && (cd runtime-jvm; sbt "main/run $binary")
|