From a020448abc471340f02ebbafc8d8ba12a2c54661 Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Wed, 3 Jun 2015 13:13:12 +0200
Subject: [PATCH] Use """ in Build.scala to prevent issues with \ in windows
paths
---
project/Build.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/project/Build.scala b/project/Build.scala
index eacf3b0da..b786ba8e5 100644
--- a/project/Build.scala
+++ b/project/Build.scala
@@ -48,7 +48,7 @@ object Leon extends Build {
val sourceGen = {
sourceGenerators in Compile += Def.task {
- val libFiles = ((baseDirectory.value / "library") ** "*.scala").getPaths.mkString("List(\"", "\", \"", "\")")
+ val libFiles = ((baseDirectory.value / "library") ** "*.scala").getPaths.mkString("List(\"\"\"", "\"\"\", \"\"\"", "\"\"\")")
val build = (sourceManaged in Compile).value / "leon" / "Build.scala";
--
GitLab