2017-12-12 13:09:06 +00:00
|
|
|
{ stdenv, fetchurl, makeWrapper, jre, callPackage }:
|
2017-11-10 10:43:18 +00:00
|
|
|
|
2017-12-12 13:09:06 +00:00
|
|
|
let
|
|
|
|
dotty-bare = callPackage ./dotty-bare.nix {
|
|
|
|
inherit stdenv fetchurl makeWrapper jre;
|
2017-11-10 10:43:18 +00:00
|
|
|
};
|
2017-12-12 13:09:06 +00:00
|
|
|
in
|
2017-11-10 10:43:18 +00:00
|
|
|
|
2017-12-12 13:09:06 +00:00
|
|
|
stdenv.mkDerivation {
|
|
|
|
name = "dotty-${dotty-bare.version}";
|
2017-11-10 10:43:18 +00:00
|
|
|
|
2017-12-12 13:09:06 +00:00
|
|
|
unpackPhase = ":";
|
2017-11-10 10:43:18 +00:00
|
|
|
|
2017-12-12 13:09:06 +00:00
|
|
|
installPhase = ''
|
|
|
|
mkdir -p $out/bin
|
|
|
|
ln -s ${dotty-bare}/bin/dotc $out/bin/dotc
|
|
|
|
ln -s ${dotty-bare}/bin/dotd $out/bin/dotd
|
|
|
|
ln -s ${dotty-bare}/bin/dotr $out/bin/dotr
|
2017-11-10 10:43:18 +00:00
|
|
|
'';
|
|
|
|
|
2017-12-12 13:09:06 +00:00
|
|
|
inherit (dotty-bare) meta;
|
2017-11-10 10:43:18 +00:00
|
|
|
}
|