drip: init at 0.2.4
This commit is contained in:
parent
57e8937c25
commit
2361fd8cf6
|
@ -0,0 +1,36 @@
|
|||
{ stdenv, fetchFromGitHub, gcc, jdk, which }:
|
||||
|
||||
stdenv.mkDerivation rec {
|
||||
name = "${pname}-${version}";
|
||||
pname = "drip";
|
||||
version = "0.2.4";
|
||||
|
||||
src = fetchFromGitHub {
|
||||
repo = pname;
|
||||
owner = "flatland";
|
||||
rev = version;
|
||||
sha256 = "1zl62wdwfak6z725asq5lcqb506la1aavj7ag78lvp155wyh8aq1";
|
||||
#fetchSubmodules = true;
|
||||
};
|
||||
|
||||
buildInputs = [ gcc jdk which ];
|
||||
|
||||
patchPhase = ''
|
||||
mkdir $out
|
||||
cp ./* $out -r
|
||||
'';
|
||||
|
||||
buildPhase = ''
|
||||
$out/bin/drip version
|
||||
'';
|
||||
|
||||
phases = [ "unpackPhase" "patchPhase" "buildPhase" ];
|
||||
|
||||
meta = with stdenv.lib; {
|
||||
description = "a launcher for the Java Virtual Machine intended to be a drop-in replacement for the java command, only faster";
|
||||
license = licenses.epl;
|
||||
homepage = https://github.com/flatland/drip;
|
||||
platforms = platforms.linux;
|
||||
maintainers = [ maintainers.rybern ];
|
||||
};
|
||||
}
|
|
@ -7238,6 +7238,8 @@ with pkgs;
|
|||
|
||||
drake = callPackage ../development/tools/build-managers/drake { };
|
||||
|
||||
drip = callPackage ../development/tools/drip { };
|
||||
|
||||
drush = callPackage ../development/tools/misc/drush { };
|
||||
|
||||
editorconfig-core-c = callPackage ../development/tools/misc/editorconfig-core-c { };
|
||||
|
|
Loading…
Reference in New Issue