admin管理员组

文章数量:1133921

I have a Scala development environment with Metals and a build.sbt. The theorem-prover Isabelle provides its own wrappers for Scala tools such as scalac, scala, etc. I have Isabelle added to my path so these can be accessed in the form isabelle scalac from the command-line and the implementations are given in this folder. What do I need to add to my build.sbt to instruct Metals to use these wrappers for compilation and execution?

本文标签： scalaHow to use Isabelle scalac wrapper in buildsbtStack Overflow

版权声明：本文标题：scala - How to use Isabelle scalac wrapper in build.sbt - Stack Overflow 内容由网友自发贡献，该文观点仅代表作者本人， 转载请联系作者并注明出处：http://www.betaflare.com/web/1736780850a1952588.html， 本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌抄袭侵权/违法违规的内容，一经查实，本站将立刻删除。