Director任务管理器按依赖顺序执行任务
导演任务管理器,按依赖顺序执行任务,构建是使用Docker完成的。首先构建docker容器:
构建容器后,我们可以使用它来构建软件:
请注意,创建了一个与当前目录链接的卷。该软件将在_build目录中构建。生成文件有2个目标:
-
Director.byte编译为OCaml字节码。这需要PC上的OCaml环境。
-
Director.native编译为本机代码。这应该可以在任何兼容的PC上运行。
下载地址
用户评论