2019-05-21 02:34:51 +02:00
|
|
|
mkdir "$CODEDIR" && cd "$CODEDIR"
|
2019-05-15 02:21:34 +02:00
|
|
|
|
2019-03-16 02:43:40 +01:00
|
|
|
echo "$1" > program.ml
|
|
|
|
ocamlopt -cclib --static -o program program.ml && ./program
|
2019-05-15 02:21:34 +02:00
|
|
|
|
2019-05-21 02:34:51 +02:00
|
|
|
cd .. && rm -rf "$CODEDIR"
|