From e1a062616a632559f3cab4ba5261783949a59af4 Mon Sep 17 00:00:00 2001
From: Viktor Kuncak <viktor.kuncak@epfl.ch>
Date: Mon, 13 Jul 2015 16:38:07 +0200
Subject: [PATCH] Platform independent path separator. Notes on Windows64.
---
build.sbt | 2 +-
doc/installation.rst | 9 +++++++++
2 files changed, 10 insertions(+), 1 deletion(-)
diff --git a/build.sbt b/build.sbt
index 99f751a65..58a1d325b 100644
--- a/build.sbt
+++ b/build.sbt
@@ -60,7 +60,7 @@ script := {
} else {
s.log.info("Generating '"+f.getName+"' script ("+(if(is64) "64b" else "32b")+")...")
}
- val paths = (res.getAbsolutePath +: out.getAbsolutePath +: cps.map(_.data.absolutePath)).mkString(":")
+ val paths = (res.getAbsolutePath +: out.getAbsolutePath +: cps.map(_.data.absolutePath)).mkString(System.getProperty("path.separator"))
IO.write(f, s"""|#!/bin/bash --posix
|
|SCALACLASSPATH="$paths"
diff --git a/doc/installation.rst b/doc/installation.rst
index bec009b56..01c0b6800 100644
--- a/doc/installation.rst
+++ b/doc/installation.rst
@@ -66,6 +66,15 @@ all the appropriate settings:
You will now need to either port the bash script to Windows, or to run it
under Cygwin.
+**Known issues**
+
+*Missing jars*
+
+If running leon produces errors because it could not find some cafebabe*.jar or vanuatoo*.jar, it is probably because symlinks have not been resolved. If your architecture is x64, do the following:
+
+1. Copy unmanaged/common/cafebabe*.jar to unmanaged/64/
+2. Copy unmanaged/common/vanuatoo*.jar to unmanaged/64/
+
.. _smt-solvers:
SMT Solvers
--
GitLab