Assembly on stainless-dotty

diff

edit build.sbt as follow:

  lazy val `stainless-scalac` = (project in file("frontends/scalac"))
+   .disablePlugins(AssemblyPlugin)

...


  lazy val `stainless-dotty` = (project in file("frontends/stainless-dotty"))
-   .disablePlugins(AssemblyPlugin)

errors

> assembly
[info] Updating {file:/localhome/mantogni/stainless/}stainless-core...
[info] Resolving jline#jline;2.12.1 ...
[info] Done updating.
[info] Updating {file:/localhome/mantogni/stainless/}stainless-dotty-frontend...
[info] Resolving jline#jline;2.12.1 ...
[info] Done updating.
[info] Updating {file:/localhome/mantogni/stainless/}stainless-dotty...
[info] Resolving jline#jline;2.12.1 ...
[info] Done updating.
[info] Compiling 107 Scala sources to /localhome/mantogni/stainless/core/target/scala-2.11/classes...
[info] Compiling 3 Scala sources to /localhome/mantogni/stainless/frontends/dotty/target/scala-2.11/classes...
[info] Compiling 3 Scala sources to /localhome/mantogni/stainless/frontends/stainless-dotty/target/scala-2.11/classes...
[info] Including: json4s-ast_2.11-3.5.2.jar
[info] Including: paranamer-2.8.jar
[info] Including: princess-parser_2.11-2016-12-26.jar
[info] Including: commons-lang3-3.4.jar
[info] Including: json4s-core_2.11-3.5.2.jar
[info] Including: json4s-scalap_2.11-3.5.2.jar
[info] Including: princess-smt-parser_2.11-2016-12-26.jar
[info] Including: scala-xml_2.11-1.0.6.jar
[info] Including: scala-library-2.11.8.jar
[info] Including: scala-parser-combinators_2.11-1.0.4.jar
[info] Including: scala-smtlib_2.11-0.2.2.jar
[info] Including: scalaz3-unix-64-2.11.jar
[info] Including: dotty-compiler_2.11-0.1.1-bin-20170429-10a2ce6-NIGHTLY.jar
[info] Including: java-cup-0.11a.jar
[info] Including: dotty_2.11-0.1.1-bin-20170429-10a2ce6-NIGHTLY.jar
[info] Including: cafebabe_2.11-1.2.jar
[info] Including: dotty-interfaces-0.1.1-bin-20170429-10a2ce6-NIGHTLY.jar
[info] Including: dotty-library_2.11-0.1.1-bin-20170429-10a2ce6-NIGHTLY.jar
[info] Including: scala-reflect-2.11.8.jar
[info] Including: scala-asm-5.1.0-scala-2.jar
[info] Including: json4s-native_2.11-3.5.2.jar
[info] Including: interface-0.13.15.jar
[info] Including: inox_2.11-1.0.2-161-g082081b.jar
[info] Including: princess_2.11-2016-12-26.jar
[info] Checking every *.class/*.jar file's SHA-1.
[info] Merging files...
[warn] Merging 'META-INF/NOTICE.txt' with strategy 'rename'
[warn] Merging 'META-INF/LICENSE.txt' with strategy 'rename'
[warn] Merging 'LICENSE' with strategy 'rename'
[warn] Merging 'META-INF/MANIFEST.MF' with strategy 'discard'
[warn] Merging 'META-INF/maven/com.thoughtworks.paranamer/paranamer/pom.properties' with strategy 'discard'
[warn] Merging 'META-INF/maven/com.thoughtworks.paranamer/paranamer/pom.xml' with strategy 'discard'
[warn] Merging 'META-INF/maven/org.apache.commons/commons-lang3/pom.properties' with strategy 'discard'
[warn] Merging 'META-INF/maven/org.apache.commons/commons-lang3/pom.xml' with strategy 'discard'
[error] 10 errors were encountered during merge
[trace] Stack trace suppressed: run last stainless-dotty/*:assembly for the full output.
[error] (stainless-dotty/*:assembly) deduplicate: different file contents found in the following:
[error] /home/mantogni/.ivy2/cache/org.scala-lang/scala-library/jars/scala-library-2.11.8.jar:scala/runtime/ScalaRunTime$$anon$1.class
[error] /home/mantogni/.ivy2/cache/ch.epfl.lamp/dotty-library_2.11/jars/dotty-library_2.11-0.1.1-bin-20170429-10a2ce6-NIGHTLY.jar:scala/runtime/ScalaRunTime$$anon$1.class
[error] deduplicate: different file contents found in the following:
[error] /home/mantogni/.ivy2/cache/org.scala-lang/scala-library/jars/scala-library-2.11.8.jar:scala/runtime/ScalaRunTime$$anonfun$arrayToString$1$1.class
[error] /home/mantogni/.ivy2/cache/ch.epfl.lamp/dotty-library_2.11/jars/dotty-library_2.11-0.1.1-bin-20170429-10a2ce6-NIGHTLY.jar:scala/runtime/ScalaRunTime$$anonfun$arrayToString$1$1.class
[error] deduplicate: different file contents found in the following:
[error] /home/mantogni/.ivy2/cache/org.scala-lang/scala-library/jars/scala-library-2.11.8.jar:scala/runtime/ScalaRunTime$$anonfun$arrayToString$1$2.class
[error] /home/mantogni/.ivy2/cache/ch.epfl.lamp/dotty-library_2.11/jars/dotty-library_2.11-0.1.1-bin-20170429-10a2ce6-NIGHTLY.jar:scala/runtime/ScalaRunTime$$anonfun$arrayToString$1$2.class
[error] deduplicate: different file contents found in the following:
[error] /home/mantogni/.ivy2/cache/org.scala-lang/scala-library/jars/scala-library-2.11.8.jar:scala/runtime/ScalaRunTime$$anonfun$scala$runtime$ScalaRunTime$$inner$1$1.class
[error] /home/mantogni/.ivy2/cache/ch.epfl.lamp/dotty-library_2.11/jars/dotty-library_2.11-0.1.1-bin-20170429-10a2ce6-NIGHTLY.jar:scala/runtime/ScalaRunTime$$anonfun$scala$runtime$ScalaRunTime$$inner$1$1.class
[error] deduplicate: different file contents found in the following:
[error] /home/mantogni/.ivy2/cache/org.scala-lang/scala-library/jars/scala-library-2.11.8.jar:scala/runtime/ScalaRunTime$$anonfun$scala$runtime$ScalaRunTime$$inner$1$2.class
[error] /home/mantogni/.ivy2/cache/ch.epfl.lamp/dotty-library_2.11/jars/dotty-library_2.11-0.1.1-bin-20170429-10a2ce6-NIGHTLY.jar:scala/runtime/ScalaRunTime$$anonfun$scala$runtime$ScalaRunTime$$inner$1$2.class
[error] deduplicate: different file contents found in the following:
[error] /home/mantogni/.ivy2/cache/org.scala-lang/scala-library/jars/scala-library-2.11.8.jar:scala/runtime/ScalaRunTime$$anonfun$scala$runtime$ScalaRunTime$$inner$1$3.class
[error] /home/mantogni/.ivy2/cache/ch.epfl.lamp/dotty-library_2.11/jars/dotty-library_2.11-0.1.1-bin-20170429-10a2ce6-NIGHTLY.jar:scala/runtime/ScalaRunTime$$anonfun$scala$runtime$ScalaRunTime$$inner$1$3.class
[error] deduplicate: different file contents found in the following:
[error] /home/mantogni/.ivy2/cache/org.scala-lang/scala-library/jars/scala-library-2.11.8.jar:scala/runtime/ScalaRunTime$$anonfun$scala$runtime$ScalaRunTime$$inner$1$4.class
[error] /home/mantogni/.ivy2/cache/ch.epfl.lamp/dotty-library_2.11/jars/dotty-library_2.11-0.1.1-bin-20170429-10a2ce6-NIGHTLY.jar:scala/runtime/ScalaRunTime$$anonfun$scala$runtime$ScalaRunTime$$inner$1$4.class
[error] deduplicate: different file contents found in the following:
[error] /home/mantogni/.ivy2/cache/org.scala-lang/scala-library/jars/scala-library-2.11.8.jar:scala/runtime/ScalaRunTime$$anonfun$toArray$1.class
[error] /home/mantogni/.ivy2/cache/ch.epfl.lamp/dotty-library_2.11/jars/dotty-library_2.11-0.1.1-bin-20170429-10a2ce6-NIGHTLY.jar:scala/runtime/ScalaRunTime$$anonfun$toArray$1.class
[error] deduplicate: different file contents found in the following:
[error] /home/mantogni/.ivy2/cache/org.scala-lang/scala-library/jars/scala-library-2.11.8.jar:scala/runtime/ScalaRunTime$.class
[error] /home/mantogni/.ivy2/cache/ch.epfl.lamp/dotty-library_2.11/jars/dotty-library_2.11-0.1.1-bin-20170429-10a2ce6-NIGHTLY.jar:scala/runtime/ScalaRunTime$.class
[error] deduplicate: different file contents found in the following:
[error] /home/mantogni/.ivy2/cache/org.scala-lang/scala-library/jars/scala-library-2.11.8.jar:scala/runtime/ScalaRunTime.class
[error] /home/mantogni/.ivy2/cache/ch.epfl.lamp/dotty-library_2.11/jars/dotty-library_2.11-0.1.1-bin-20170429-10a2ce6-NIGHTLY.jar:scala/runtime/ScalaRunTime.class
[error] Total time: 32 s, completed Aug 30, 2017 1:32:24 PM