From e9a67cd9d0d61d214290840cf1b1dce15e766041 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mika=C3=ABl=20Mayer?= <a-mikmay@microsoft.com>
Date: Thu, 15 Oct 2015 17:26:57 +0200
Subject: [PATCH] Fixed code generation for Windows.
---
build.sbt | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/build.sbt b/build.sbt
index ddd3c0a82..d7a5a5e09 100644
--- a/build.sbt
+++ b/build.sbt
@@ -91,7 +91,7 @@ sourceGenerators in Compile <+= Def.task {
IO.write(build, s"""|package leon
|
|object Build {
- | val baseDirectory = \"${baseDirectory.value.toString}\"
+ | val baseDirectory = \"\"\"${baseDirectory.value.toString}\"\"\"
| val libFiles = List(
| ${libFiles.mkString("\"\"\"", "\"\"\",\n \"\"\"", "\"\"\"")}
| )
--
GitLab