Merge pull request #128060 from hrhino/scala-runners

This commit is contained in:
Sandro 2021-06-25 19:20:48 +02:00 committed by GitHub
commit b9312e7a29
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
3 changed files with 41 additions and 0 deletions

View file

@ -4291,6 +4291,12 @@
githubId = 1436960;
name = "Christoph Hrdinka";
};
hrhino = {
email = "hora.rhino@gmail.com";
github = "hrhino";
githubId = 28076058;
name = "Harrison Houghton";
};
hschaeidt = {
email = "he.schaeidt@gmail.com";
github = "hschaeidt";

View file

@ -0,0 +1,31 @@
{ stdenv, lib, fetchFromGitHub, jre, coursier }:
stdenv.mkDerivation rec {
pname = "scala-runners";
version = "unstable-2020-02-02";
src = fetchFromGitHub {
repo = pname;
owner = "dwijnand";
rev = "95e03c9f9de0fe0ab61eeb6dea2a364f9d081d31";
sha256 = "0mvlc6fxsh5d6gsyak9n3g98g4r061n8pir37jpiqb7z00m9lfrx";
};
installPhase = ''
mkdir -p $out/bin $out/lib
sed -ie "s| cs | ${coursier}/bin/coursier |" scala-runner
cp scala-runner $out/lib
ln -s $out/lib/scala-runner $out/bin/scala
ln -s $out/lib/scala-runner $out/bin/scalac
ln -s $out/lib/scala-runner $out/bin/scalap
ln -s $out/lib/scala-runner $out/bin/scaladoc
'';
meta = with lib; {
homepage = "https://github.com/dwijnand/scala-runners";
description = "An alternative implementation of the Scala distribution's runners";
license = licenses.asl20;
platforms = platforms.all;
maintainers = with maintainers; [ hrhino ];
};
}

View file

@ -12017,6 +12017,10 @@ in
scala_2_13 = callPackage ../development/compilers/scala/2.x.nix { majorVersion = "2.13"; jre = jdk8; };
scala = scala_2_13;
scala-runners = callPackage ../development/compilers/scala-runners/default.nix {
coursier = coursier.override { jre = jdk8; };
jre = jdk8;
};
metal = callPackage ../development/libraries/metal { };
metals = callPackage ../development/tools/metals { };