Merge pull request #32120 from rybern/add-drip

drip: init at 0.2.4
This commit is contained in:
Jörg Thalheim 2017-12-01 21:44:23 +00:00 committed by GitHub
commit 302552b722
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 42 additions and 0 deletions

View file

@ -0,0 +1,40 @@
{ stdenv, fetchFromGitHub, jdk, which, makeWrapper }:
stdenv.mkDerivation rec {
name = "${pname}-${version}";
pname = "drip";
version = "0.2.4";
src = fetchFromGitHub {
repo = pname;
owner = "ninjudd";
rev = version;
sha256 = "1zl62wdwfak6z725asq5lcqb506la1aavj7ag78lvp155wyh8aq1";
};
nativeBuildInputs = [ makeWrapper ];
buildInputs = [ jdk ];
postPatch = ''
patchShebangs .
'';
installPhase = ''
runHook preInstall
mkdir $out
cp ./* $out -r
wrapProgram $out/bin/drip \
--prefix PATH : "${which}/bin"
$out/bin/drip version
runHook postInstall
'';
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.epl10;
homepage = https://github.com/ninjudd/drip;
platforms = platforms.linux;
maintainers = [ maintainers.rybern ];
};
}

View file

@ -7243,6 +7243,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 { };