3.11 可执行文件

DOMjudge 支持可执行文档 (以 ZIP 格式上传和存储) 用以配置语言, 特殊运行和比较的程序; 文档必须包含名为 build 或 run 的可执行文件; 当部署(或更改)一个可执行文件到 judgehost 时, 如果存在 build, 他会被执行 一次; 之后必须有一个可执行文件 run (之前可能已经存在), 调用它来执行编译, 比较或运行脚本; 具体格式见后面几节

可以通 web 界面的在线编辑器或上传替换的 zip 文件来更改可执行文件; 更改将立即使用与该可执行文件的所有进一步使用