如何在 Eclipse IDE 中的每次保存时防止 rascal_builder 从 运行

Question

我一直在 Eclipse 2018 中做一个 Rascal 项目。该项目大约有 500 LOC。我的问题是在项目中保存文件大约需要 20 到 40 秒。这是由于每次保存后 rascal_builder 运行ning。

由于我习惯在编辑过程中多次保存，这开始降低我的工作效率。有没有办法阻止 rascal_builder 在每次保存时都被调用，并且只有在请求实际执行程序时才 运行 ？我对保留语法注释不感兴趣，例如错误声明、遗漏引号等

Answer 1

是的，在 eclipse 的配置部分，CMD+, on Mac，转到 Rascal 部分并禁用实验编译器标志。