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.ml
|
2019-06-01 07:21:22 +02:00
|
|
|
ocamlopt -cclib --static -o program program.ml && ./program || true
|
2019-05-15 02:21:34 +02:00
|
|
|
|
2019-05-21 02:34:51 +02:00
|
|
|
cd .. && rm -rf "$CODEDIR"
|