From 17195f17e9b4f2e33752ce35c2081b7d120ef61a Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Mon, 1 Jun 2015 16:37:45 +0200
Subject: [PATCH] Make generated Build.scala readable
---
project/Build.scala | 6 ++++--
1 file changed, 4 insertions(+), 2 deletions(-)
diff --git a/project/Build.scala b/project/Build.scala
index b786ba8e5..893b39623 100644
--- a/project/Build.scala
+++ b/project/Build.scala
@@ -48,14 +48,16 @@ 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
val build = (sourceManaged in Compile).value / "leon" / "Build.scala";
IO.write(build, s"""|package leon;
|
|object Build {
- |val libFiles = $libFiles;
+ | val libFiles = List(
+ | ${libFiles.mkString("\"\"\"", "\"\"\",\n \"\"\"", "\"\"\"")}
+ | )
|}""".stripMargin)
Seq(build)
--
GitLab