导演任务管理器，按依赖顺序执行任务的构建是使用docker完成的。首先，构建docker容器：


docker build -t director .

构建容器后，我们可以使用它来构建软件：


docker run -v `pwd`:/director -t director

请注意，创建了一个与当前目录链接的卷。该软件将在_build目录中构建。生成文件有两个目标：

  1. Director.byte：编译为ocaml字节码。这需要PC上的ocaml。

  2. Director.native：编译为本机代码。这应该可以在任何兼容的PC上运行。