diff options
author | Karol Chmist <karol@chmist.com> | 2017-11-10 11:43:18 +0100 |
---|---|---|
committer | Karol Chmist <karol@chmist.com> | 2017-11-13 13:47:33 +0100 |
commit | da94de1a20df7d02c505871c87ca9af53571dd94 (patch) | |
tree | f088c37dd7abb0f5df27405d2b789bf750e9dede | |
parent | b155ff6a5dee89b572ca9ac7a413a433078fd0f6 (diff) | |
download | nixpkgs-da94de1a20df7d02c505871c87ca9af53571dd94.tar nixpkgs-da94de1a20df7d02c505871c87ca9af53571dd94.tar.gz nixpkgs-da94de1a20df7d02c505871c87ca9af53571dd94.tar.bz2 nixpkgs-da94de1a20df7d02c505871c87ca9af53571dd94.tar.lz nixpkgs-da94de1a20df7d02c505871c87ca9af53571dd94.tar.xz nixpkgs-da94de1a20df7d02c505871c87ca9af53571dd94.tar.zst nixpkgs-da94de1a20df7d02c505871c87ca9af53571dd94.zip |
Add Scala dotty, at version 0.4.0-RC1
-rw-r--r-- | pkgs/development/compilers/scala/dotty.nix | 43 | ||||
-rw-r--r-- | pkgs/top-level/all-packages.nix | 1 |
2 files changed, 44 insertions, 0 deletions
diff --git a/pkgs/development/compilers/scala/dotty.nix b/pkgs/development/compilers/scala/dotty.nix new file mode 100644 index 00000000000..cc02c7534f4 --- /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 5f3d82df99b..7af3e99bd2e 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 { }; |