mirror of
https://github.com/ilyakooo0/Idris-dev.git
synced 2024-09-21 22:17:19 +03:00
18 lines
369 B
Bash
Executable File
18 lines
369 B
Bash
Executable File
#!/usr/bin/env bash
|
|
|
|
idris $@ reg029.idr -o reg029
|
|
unset IDRIS_REG029_NONEXISTENT_VAR
|
|
export IDRIS_REG029_EXISTENT_VAR='exists!'
|
|
|
|
IsJava=`echo "$@" | grep -E "\-\-codegen([[:space:]]+)Java\>"`
|
|
if [ -z "$IsJava" ]
|
|
then
|
|
./reg029
|
|
else
|
|
javac -cp reg029:. Reg029Wrapper.java
|
|
java -cp reg029:. Reg029Wrapper
|
|
fi
|
|
idris $@ reg029.idr --execute
|
|
rm -f reg029 *.ibc *.class
|
|
|