commit d0cfab834609eb77cba9bf76a9ec4663ca25018a · pyrox.dev/nixpkgs

+40

pkgs/development/compilers/scala/dotty-bare.nix

···

       1
       1
       +
       { stdenv, fetchurl, makeWrapper, jre }:

     

       2
       2
       +
       

     

       3
       3
       +
       stdenv.mkDerivation rec {

     

       4
       4
       +
         version = "0.4.0-RC1";

     

       5
       5
       +
         name = "dotty-bare-${version}";

     

       6
       6
       +
       

     

       7
       7
       +
         src = fetchurl {

     

       8
       8
       +
           url = "https://github.com/lampepfl/dotty/releases/download/${version}/dotty-${version}.tar.gz";

     

       9
       9
       +
           sha256 = "1d1ab08b85bd6898ce6273fa50818de0d314fc6e5377fb6ee05494827043321b";

     

       10
       10
       +
         };

     

       11
       11
       +
       

     

       12
       12
       +
         propagatedBuildInputs = [ jre ] ;

     

       13
       13
       +
         buildInputs = [ makeWrapper ] ;

     

       14
       14
       +
       

     

       15
       15
       +
         installPhase = ''

     

       16
       16
       +
           mkdir -p $out

     

       17
       17
       +
           mv * $out

     

       18
       18
       +
         '';

     

       19
       19
       +
       

     

       20
       20
       +
         fixupPhase = ''

     

       21
       21
       +
               bin_files=$(find $out/bin -type f ! -name common)

     

       22
       22
       +
               for f in $bin_files ; do

     

       23
       23
       +
                 wrapProgram $f --set JAVA_HOME ${jre}

     

       24
       24
       +
               done

     

       25
       25
       +
         '';

     

       26
       26
       +
       

     

       27
       27
       +
         meta = with stdenv.lib; {

     

       28
       28
       +
           description = "Research platform for new language concepts and compiler technologies for Scala.";

     

       29
       29
       +
           longDescription = ''

     

       30
       30
       +
              Dotty is a platform to try out new language concepts and compiler technologies for Scala.

     

       31
       31
       +
              The focus is mainly on simplification. We remove extraneous syntax (e.g. no XML literals),

     

       32
       32
       +
              and try to boil down Scala’s types into a smaller set of more fundamental constructs.

     

       33
       33
       +
              The theory behind these constructs is researched in DOT, a calculus for dependent object types.

     

       34
       34
       +
           '';

     

       35
       35
       +
           homepage = http://dotty.epfl.ch/;

     

       36
       36
       +
           license = licenses.bsd3;

     

       37
       37
       +
           platforms = platforms.all;

     

       38
       38
       +
           maintainers = [maintainers.karolchmist];

     

       39
       39
       +
         };

     

       40
       40
       +
       }

+14 -38

pkgs/development/compilers/scala/dotty.nix

···

       1
       1
       -
       { stdenv, fetchurl, makeWrapper, jre }:

     

       1
       1
       +
       { stdenv, fetchurl, makeWrapper, jre, callPackage }:

     

       2
       2
        
       

     

       3
       3
       -
       stdenv.mkDerivation rec {

     

       4
       4
       -
         version = "0.4.0-RC1";

     

       5
       5
       -
         name = "dotty-${version}";

     

       6
       6
       -
       

     

       7
       7
       -
         src = fetchurl {

     

       8
       8
       -
           url = "https://github.com/lampepfl/dotty/releases/download/${version}/${name}.tar.gz";

     

       9
       9
       -
           sha256 = "1d1ab08b85bd6898ce6273fa50818de0d314fc6e5377fb6ee05494827043321b";

     

       3
       3
       +
       let

     

       4
       4
       +
         dotty-bare = callPackage ./dotty-bare.nix {

     

       5
       5
       +
           inherit stdenv fetchurl makeWrapper jre;

     

       10
       6
        
         };

     

       11
       11
       -
       

     

       12
       12
       -
         propagatedBuildInputs = [ jre ] ;

     

       13
       13
       -
         buildInputs = [ makeWrapper ] ;

     

       7
       7
       +
       in

     

       14
       8
        
       

     

       15
       15
       -
         installPhase = ''

     

       16
       16
       -
           mkdir -p $out

     

       17
       17
       -
           mv * $out

     

       9
       9
       +
       stdenv.mkDerivation {

     

       10
       10
       +
         name = "dotty-${dotty-bare.version}";

     

       18
       11
        
       

     

       19
       19
       -
           mkdir -p $out/shared

     

       20
       20
       -
           mv $out/bin/common $out/shared

     

       21
       21
       -
         '';

     

       22
       22
       -
       

     

       23
       23
       -
         fixupPhase = ''

     

       24
       24
       -
           for file in $out/bin/* ; do

     

       25
       25
       -
             substituteInPlace $file \

     

       26
       26
       -
               --replace '$PROG_HOME/bin/common' $out/shared/common

     

       12
       12
       +
         unpackPhase = ":";

     

       27
       13
        
       

     

       28
       28
       -
             wrapProgram $file \

     

       29
       29
       -
               --set JAVA_HOME ${jre}

     

       30
       30
       -
           done

     

       14
       14
       +
         installPhase = ''

     

       15
       15
       +
           mkdir -p $out/bin

     

       16
       16
       +
           ln -s ${dotty-bare}/bin/dotc $out/bin/dotc

     

       17
       17
       +
           ln -s ${dotty-bare}/bin/dotd $out/bin/dotd

     

       18
       18
       +
           ln -s ${dotty-bare}/bin/dotr $out/bin/dotr

     

       31
       19
        
         '';

     

       32
       20
        
       

     

       33
       33
       -
         meta = with stdenv.lib; {

     

       34
       34
       -
           description = "Research platform for new language concepts and compiler technologies for Scala.";

     

       35
       35
       -
           longDescription = ''

     

       36
       36
       -
              Dotty is a platform to try out new language concepts and compiler technologies for Scala.

     

       37
       37
       -
              The focus is mainly on simplification. We remove extraneous syntax (e.g. no XML literals),

     

       38
       38
       -
              and try to boil down Scala’s types into a smaller set of more fundamental constructs.

     

       39
       39
       -
              The theory behind these constructs is researched in DOT, a calculus for dependent object types.

     

       40
       40
       -
           '';

     

       41
       41
       -
           homepage = http://dotty.epfl.ch/;

     

       42
       42
       -
           license = licenses.bsd3;

     

       43
       43
       -
           platforms = platforms.all;

     

       44
       44
       -
           maintainers = [maintainers.karolchmist];

     

       45
       45
       -
         };

     

       21
       21
       +
         inherit (dotty-bare) meta;

     

       46
       22
        
       }