bump libisabelle version (improves error handling)

build.sbt

@@ -40,7 +40,7 @@ resolvers ++= Seq(
   "Sonatype OSS Releases" at "https://oss.sonatype.org/content/repositories/releases"
 )
 
-val libisabelleVer = "0.3.1"
+val libisabelleVer = "0.3.4"
 
 libraryDependencies ++= Seq(
   "org.scala-lang" % "scala-compiler" % scalaVer,

project/plugins.sbt

@@ -1,3 +1,7 @@
 addSbtPlugin("com.typesafe.sbt" % "sbt-site" % "0.8.1")
 
-addSbtPlugin("info.hupel" % "sbt-libisabelle" % "0.1")
+addSbtPlugin("info.hupel" % "sbt-libisabelle" % "0.1.1")
+
+resolvers ++= Seq(
+  "Sonatype OSS Releases" at "https://oss.sonatype.org/content/repositories/releases"
+)

src/main/scala/leon/solvers/isabelle/IsabelleEnvironment.scala

@@ -18,6 +18,8 @@ import leon.purescala.Common._
 import leon.solvers._
 import leon.utils._
 
+import cats.data.Xor
+
 import edu.tum.cs.isabelle._
 import edu.tum.cs.isabelle.api._
 import edu.tum.cs.isabelle.setup._
@@ -53,7 +55,10 @@ object IsabelleEnvironment {
     }.toList
 
     context.reporter.info(s"Preparing Isabelle setup (this might take a while) ...")
-    val setup = Setup.defaultSetup(version)
+    val setup = Setup.defaultSetup(version) match {
+      case Xor.Left(reason) => context.reporter.fatalError(s"Isabelle setup failed: ${reason.explain}")
+      case Xor.Right(setup) => setup
+    }
 
     val system = setup.flatMap { setup =>
       val resources = Resources.dumpIsabelleResources()