From 26d723e070ca9ac881c1d4d140344545a577085e Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Mon, 14 Sep 2015 17:46:18 +0200
Subject: [PATCH] Avoid exceptions if isabelle does not exist.
---
src/main/scala/leon/solvers/isabelle/Component.scala | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/main/scala/leon/solvers/isabelle/Component.scala b/src/main/scala/leon/solvers/isabelle/Component.scala
index 2e4cd5d67..cf8db26a5 100644
--- a/src/main/scala/leon/solvers/isabelle/Component.scala
+++ b/src/main/scala/leon/solvers/isabelle/Component.scala
@@ -14,10 +14,10 @@ object Component extends LeonComponent {
val description = "Isabelle solver"
val leonBase =
- Paths.get(Option(System.getProperty("leon.base")).getOrElse(".")).toRealPath()
+ Paths.get(Option(System.getProperty("leon.base")).getOrElse(".")).toAbsolutePath()
val isabelleBase =
- leonBase.resolve("contrib").toRealPath()
+ leonBase.resolve("contrib").toAbsolutePath()
val optBase = LeonStringOptionDef(
name = "isabelle:base",
--
GitLab