Anonymous Coder
Anonymous Coder

Reputation: 542

How to use Isabelle scalac wrapper in build.sbt

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?

Upvotes: 2

Views: 38

Answers (0)

Related Questions