From da94de1a20df7d02c505871c87ca9af53571dd94 Mon Sep 17 00:00:00 2001
From: Karol Chmist <karol@chmist.com>
Date: Fri, 10 Nov 2017 11:43:18 +0100
Subject: [PATCH 1/2] Add Scala dotty, at version 0.4.0-RC1

---
 pkgs/development/compilers/scala/dotty.nix | 43 ++++++++++++++++++++++
 pkgs/top-level/all-packages.nix            |  1 +
 2 files changed, 44 insertions(+)
 create mode 100644 pkgs/development/compilers/scala/dotty.nix

diff --git a/pkgs/development/compilers/scala/dotty.nix b/pkgs/development/compilers/scala/dotty.nix
new file mode 100644
index 000000000000..cc02c7534f4d
--- /dev/null
+++ b/pkgs/development/compilers/scala/dotty.nix
@@ -0,0 +1,43 @@
+{ stdenv, fetchurl, makeWrapper, jre }:
+
+stdenv.mkDerivation rec {
+  version = "0.4.0-RC1";
+  name = "dotty-${version}";
+
+  src = fetchurl {
+    url = "https://github.com/lampepfl/dotty/releases/download/${version}/${name}.tar.gz";
+    sha256 = "1d1ab08b85bd6898ce6273fa50818de0d314fc6e5377fb6ee05494827043321b";
+  };
+
+  propagatedBuildInputs = [ jre ] ;
+  buildInputs = [ makeWrapper ] ;
+
+  installPhase = ''
+    mkdir -p $out
+    mv * $out
+
+    for p in $out/bin/* ; do
+      file=$(basename $p)
+
+      # no need to wrap common
+      if [[ "$file" = "common" ]] ; then
+        continue
+      fi
+
+      wrapProgram $p --set JAVA_HOME ${jre}
+    done    
+  '';
+
+  meta = {
+    description = "Research platform for new language concepts and compiler technologies for Scala.";
+    longDescription = ''
+       Dotty is a platform to try out new language concepts and compiler technologies for Scala.
+       The focus is mainly on simplification. We remove extraneous syntax (e.g. no XML literals),
+       and try to boil down Scala’s types into a smaller set of more fundamental constructs.
+       The theory behind these constructs is researched in DOT, a calculus for dependent object types.
+    '';
+    homepage = http://dotty.epfl.ch/;
+    license = stdenv.lib.licenses.bsd3;
+    platforms = stdenv.lib.platforms.all;
+  };
+}
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index 5f3d82df99b2..7af3e99bd2e0 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -6264,6 +6264,7 @@ with pkgs;
   scala_2_10 = callPackage ../development/compilers/scala/2.10.nix { };
   scala_2_11 = callPackage ../development/compilers/scala/2.11.nix { };
   scala_2_12 = callPackage ../development/compilers/scala { jre = jre8; };
+  scala_dotty = callPackage ../development/compilers/scala/dotty.nix { jre = jre8;};
   scala = scala_2_12;
 
   scalafmt = callPackage ../development/tools/scalafmt { };

From e8c8163f336edd0f19c4d9e64d7e415591ec34d2 Mon Sep 17 00:00:00 2001
From: Karol Chmist <karol@chmist.com>
Date: Mon, 13 Nov 2017 09:15:43 +0100
Subject: [PATCH 2/2] [CodeReview] Added suggestions by yegortimoshenko

---
 lib/maintainers.nix                        |  1 +
 pkgs/development/compilers/scala/dotty.nix | 29 ++++++++++++----------
 pkgs/top-level/all-packages.nix            |  3 ++-
 3 files changed, 19 insertions(+), 14 deletions(-)

diff --git a/lib/maintainers.nix b/lib/maintainers.nix
index 3f95e7638ac3..97bbbdceabac 100644
--- a/lib/maintainers.nix
+++ b/lib/maintainers.nix
@@ -325,6 +325,7 @@
   kaiha = "Kai Harries <kai.harries@gmail.com>";
   kamilchm = "Kamil Chmielewski <kamil.chm@gmail.com>";
   kampfschlaefer = "Arnold Krille <arnold@arnoldarts.de>";
+  karolchmist = "karolchmist <info+nix@chmist.com>";
   kentjames = "James Kent <jameschristopherkent@gmail.com";
   kevincox = "Kevin Cox <kevincox@kevincox.ca>";
   khumba = "Bryan Gardiner <bog@khumba.net>";
diff --git a/pkgs/development/compilers/scala/dotty.nix b/pkgs/development/compilers/scala/dotty.nix
index cc02c7534f4d..cb0c43550022 100644
--- a/pkgs/development/compilers/scala/dotty.nix
+++ b/pkgs/development/compilers/scala/dotty.nix
@@ -16,19 +16,21 @@ stdenv.mkDerivation rec {
     mkdir -p $out
     mv * $out
 
-    for p in $out/bin/* ; do
-      file=$(basename $p)
-
-      # no need to wrap common
-      if [[ "$file" = "common" ]] ; then
-        continue
-      fi
-
-      wrapProgram $p --set JAVA_HOME ${jre}
-    done    
+    mkdir -p $out/shared
+    mv $out/bin/common $out/shared
   '';
 
-  meta = {
+  fixupPhase = ''
+    for file in $out/bin/* ; do
+      substituteInPlace $file \
+        --replace '$PROG_HOME/bin/common' $out/shared/common
+
+      wrapProgram $file \
+        --set JAVA_HOME ${jre}
+    done
+  '';
+
+  meta = with stdenv.lib; {
     description = "Research platform for new language concepts and compiler technologies for Scala.";
     longDescription = ''
        Dotty is a platform to try out new language concepts and compiler technologies for Scala.
@@ -37,7 +39,8 @@ stdenv.mkDerivation rec {
        The theory behind these constructs is researched in DOT, a calculus for dependent object types.
     '';
     homepage = http://dotty.epfl.ch/;
-    license = stdenv.lib.licenses.bsd3;
-    platforms = stdenv.lib.platforms.all;
+    license = licenses.bsd3;
+    platforms = platforms.all;
+    maintainers = [maintainers.karolchmist];
   };
 }
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index 7af3e99bd2e0..1f70d5695848 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -5479,6 +5479,8 @@ with pkgs;
 
   devpi-client = callPackage ../development/tools/devpi-client {};
 
+  dotty = callPackage ../development/compilers/scala/dotty.nix { jre = jre8;};
+
   drumstick = callPackage ../development/libraries/drumstick { };
 
   ecl = callPackage ../development/compilers/ecl { };
@@ -6264,7 +6266,6 @@ with pkgs;
   scala_2_10 = callPackage ../development/compilers/scala/2.10.nix { };
   scala_2_11 = callPackage ../development/compilers/scala/2.11.nix { };
   scala_2_12 = callPackage ../development/compilers/scala { jre = jre8; };
-  scala_dotty = callPackage ../development/compilers/scala/dotty.nix { jre = jre8;};
   scala = scala_2_12;
 
   scalafmt = callPackage ../development/tools/scalafmt { };