Reputation: 542
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