From d7e0212ff77fc7b84d7c864ea4154b2fc350a24e Mon Sep 17 00:00:00 2001
From: Uko <uko@unikernel.net>
Date: Wed, 26 Feb 2020 14:25:17 +0100
Subject: [PATCH] Fix lampepfl/dotty-knowledge#17 Added a scripted sbt test to
 check if a @main annotation is detected by sbt

---
 .../sbt-test/sbt-dotty/dotty-knowledge.i17/build.sbt | 12 ++++++++++++
 .../dotty-knowledge.i17/project/build.properties     |  1 +
 .../dotty-knowledge.i17/project/plugins.sbt          |  1 +
 .../dotty-knowledge.i17/src/main/scala/Main.scala    |  4 ++++
 .../sbt-test/sbt-dotty/dotty-knowledge.i17/test      |  1 +
 5 files changed, 19 insertions(+)
 create mode 100644 sbt-dotty/sbt-test/sbt-dotty/dotty-knowledge.i17/build.sbt
 create mode 100644 sbt-dotty/sbt-test/sbt-dotty/dotty-knowledge.i17/project/build.properties
 create mode 100644 sbt-dotty/sbt-test/sbt-dotty/dotty-knowledge.i17/project/plugins.sbt
 create mode 100644 sbt-dotty/sbt-test/sbt-dotty/dotty-knowledge.i17/src/main/scala/Main.scala
 create mode 100644 sbt-dotty/sbt-test/sbt-dotty/dotty-knowledge.i17/test

diff --git a/sbt-dotty/sbt-test/sbt-dotty/dotty-knowledge.i17/build.sbt b/sbt-dotty/sbt-test/sbt-dotty/dotty-knowledge.i17/build.sbt
new file mode 100644
index 000000000000..108f70f83cca
--- /dev/null
+++ b/sbt-dotty/sbt-test/sbt-dotty/dotty-knowledge.i17/build.sbt
@@ -0,0 +1,12 @@
+val dottyVersion = "0.22.0-RC1"
+
+lazy val root = project
+  .in(file("."))
+  .settings(
+    name := "dotty-simple",
+    version := "0.1.0",
+
+    scalaVersion := dottyVersion,
+
+    libraryDependencies += "com.novocode" % "junit-interface" % "0.11" % "test"
+  )
diff --git a/sbt-dotty/sbt-test/sbt-dotty/dotty-knowledge.i17/project/build.properties b/sbt-dotty/sbt-test/sbt-dotty/dotty-knowledge.i17/project/build.properties
new file mode 100644
index 000000000000..a919a9b5f46b
--- /dev/null
+++ b/sbt-dotty/sbt-test/sbt-dotty/dotty-knowledge.i17/project/build.properties
@@ -0,0 +1 @@
+sbt.version=1.3.8
diff --git a/sbt-dotty/sbt-test/sbt-dotty/dotty-knowledge.i17/project/plugins.sbt b/sbt-dotty/sbt-test/sbt-dotty/dotty-knowledge.i17/project/plugins.sbt
new file mode 100644
index 000000000000..b7e929c23e19
--- /dev/null
+++ b/sbt-dotty/sbt-test/sbt-dotty/dotty-knowledge.i17/project/plugins.sbt
@@ -0,0 +1 @@
+addSbtPlugin("ch.epfl.lamp" % "sbt-dotty" % "0.4.0")
diff --git a/sbt-dotty/sbt-test/sbt-dotty/dotty-knowledge.i17/src/main/scala/Main.scala b/sbt-dotty/sbt-test/sbt-dotty/dotty-knowledge.i17/src/main/scala/Main.scala
new file mode 100644
index 000000000000..e1e0b803d9b0
--- /dev/null
+++ b/sbt-dotty/sbt-test/sbt-dotty/dotty-knowledge.i17/src/main/scala/Main.scala
@@ -0,0 +1,4 @@
+@main
+def testMethod(): Unit = {
+  println("Hello world!")
+}
diff --git a/sbt-dotty/sbt-test/sbt-dotty/dotty-knowledge.i17/test b/sbt-dotty/sbt-test/sbt-dotty/dotty-knowledge.i17/test
new file mode 100644
index 000000000000..62ea636c177f
--- /dev/null
+++ b/sbt-dotty/sbt-test/sbt-dotty/dotty-knowledge.i17/test
@@ -0,0 +1 @@
+> run