kframework - 如何使用 KRun 的 `--directory` 标志

Question

我已经使用kompile foo.k.

但是，当我运行时，krun --directory foo-kompiled/ my-program.foo我看到以下错误：

[Error] Critical: Could not find a compiled definition. Use --directory to specify one.

如何正确使用此选项？

Answer 1

由于历史原因，在下面kompile --directory . foo.k创建一个目录而不是用作输出目录本身。同样，使用已编译的 k 定义的其他工具会在传递的目录中查找与 glob 匹配的目录。因此，如果您对 krun 运行正确的调用（因为 --directory 的默认值是当前工作目录）是，或者只是foo-kompiled..krun*-kompiled--directorykompile foo.kkrun my-program.foo --directory .krun my-program.foo