Merge pull request #133212 from hrhino/scala-runners

scala-runners: unstable-2020-02-02 -> unstable-2021-07-28
This commit is contained in:
Sandro 2021-08-09 11:45:33 +02:00 committed by GitHub
commit a6b6cfd6f7
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -2,15 +2,16 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "scala-runners"; pname = "scala-runners";
version = "unstable-2020-02-02"; version = "unstable-2021-07-28";
src = fetchFromGitHub { src = fetchFromGitHub {
repo = pname; repo = pname;
owner = "dwijnand"; owner = "dwijnand";
rev = "95e03c9f9de0fe0ab61eeb6dea2a364f9d081d31"; rev = "9bf096ca81f4974d7327e291eac291e22b344a8f";
sha256 = "0mvlc6fxsh5d6gsyak9n3g98g4r061n8pir37jpiqb7z00m9lfrx"; sha256 = "032fds5nr102h1lc81n9jc60jmxzivi4md4hcjrlqn076hfhj4ax";
}; };
dontBuild = true;
installPhase = '' installPhase = ''
mkdir -p $out/bin $out/lib mkdir -p $out/bin $out/lib
sed -ie "s| cs | ${coursier}/bin/coursier |" scala-runner sed -ie "s| cs | ${coursier}/bin/coursier |" scala-runner