Spaces:
Running
Running
File size: 1,564 Bytes
41e79e2 |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 |
from pathlib import Path
from src.safe_subprocess import run
from src.generic_eval import main
LANG_NAME = "Ada"
LANG_EXT = ".adb"
def eval_script(path: Path):
working_dir: Path = path.parent / (path.stem + "_tmp")
working_dir.mkdir()
chop_result = run(["gnatchop", "-w", path, working_dir])
if chop_result.exit_code != 0:
return {
"status": "SyntaxError (gnatchop)",
"exit_code": chop_result.exit_code,
"stdout": chop_result.stdout,
"stderr": chop_result.stderr,
}
build_result = run(
[
"gnatmake",
"-gnatW8",
"main.adb",
"-o",
"main",
"-g",
"-j0",
"-gnata",
"-gnat2022",
"-gnateE",
"-bargs",
"-Es",
],
cwd=str(working_dir),
)
if build_result.exit_code != 0:
return {
"status": "SyntaxError (gnatmake)",
"exit_code": build_result.exit_code,
"stdout": build_result.stdout,
"stderr": build_result.stderr,
}
status = "OK"
run_result = run(["./main"], cwd=str(working_dir))
if run_result.timeout:
status = "Timeout"
elif run_result.exit_code != 0:
status = "Exception"
return {
"status": status,
"exit_code": run_result.exit_code,
"stdout": run_result.stdout,
"stderr": run_result.stderr,
}
if __name__ == "__main__":
main(eval_script, LANG_NAME, LANG_EXT)
|