如何在build.sbt中配置使用Isabelle scalac包装器适配Metals

要让Metals通过Isabelle提供的isabelle scalac和isabelle scala包装器完成编译与执行，只需在build.sbt中添加以下核心配置：

• 替换Scala编译器命令
  覆盖sbt默认的scalac命令为Isabelle的包装器：

  scalacCommand := "isabelle scalac"
  

• 替换Scala运行命令
  同样替换用于执行代码的scala命令：

  scalaCommand := "isabelle scala"
  

• （可选）添加额外参数
  如果Isabelle包装器需要特定JVM或编译参数，可直接在命令后追加，比如指定堆内存：

  scalacCommand := "isabelle scalac -J-Xmx4G"
  scalaCommand := "isabelle scala -J-Xmx2G"
  

验证与生效 #

配置完成后，执行以下操作确保生效：

1. 在sbt控制台运行show scalacCommand和show scalaCommand，确认输出为设置的Isabelle包装器命令。
2. 运行sbt compile，检查编译过程是否调用了Isabelle的包装器（可通过控制台输出或日志确认）。
3. 重启Metals或重新导入项目，让Metals读取新的sbt配置。

内容的提问来源于stack exchange，提问作者Anonymous Coder