2019-05-21 02:34:51 +02:00
|
|
|
mkdir "$CODEDIR" && cd "$CODEDIR"
|
2019-05-15 02:21:34 +02:00
|
|
|
|
2019-06-01 07:04:15 +02:00
|
|
|
printf %s "$1" > program.fs
|
2019-06-01 07:21:22 +02:00
|
|
|
fsharpc --optimize- program.fs >/dev/null && mono program.exe || true
|
2019-05-15 02:21:34 +02:00
|
|
|
|
2019-05-21 02:34:51 +02:00
|
|
|
cd .. && rm -rf "$CODEDIR"
|