2017-11-28 14:36:38 +01:00
|
|
|
{ stdenv, fetchFromGitHub, jdk, which, makeWrapper }:
|
2017-11-27 19:47:52 +01:00
|
|
|
|
|
|
|
stdenv.mkDerivation rec {
|
|
|
|
pname = "drip";
|
|
|
|
version = "0.2.4";
|
|
|
|
|
|
|
|
src = fetchFromGitHub {
|
|
|
|
repo = pname;
|
2017-11-27 22:38:43 +01:00
|
|
|
owner = "ninjudd";
|
2017-11-27 19:47:52 +01:00
|
|
|
rev = version;
|
|
|
|
sha256 = "1zl62wdwfak6z725asq5lcqb506la1aavj7ag78lvp155wyh8aq1";
|
|
|
|
};
|
|
|
|
|
2017-11-28 14:36:38 +01:00
|
|
|
nativeBuildInputs = [ makeWrapper ];
|
|
|
|
|
|
|
|
buildInputs = [ jdk ];
|
|
|
|
|
|
|
|
postPatch = ''
|
|
|
|
patchShebangs .
|
2017-11-27 19:47:52 +01:00
|
|
|
'';
|
|
|
|
|
2017-11-28 14:36:38 +01:00
|
|
|
installPhase = ''
|
|
|
|
runHook preInstall
|
|
|
|
mkdir $out
|
|
|
|
cp ./* $out -r
|
|
|
|
wrapProgram $out/bin/drip \
|
|
|
|
--prefix PATH : "${which}/bin"
|
2017-11-27 19:47:52 +01:00
|
|
|
$out/bin/drip version
|
2017-11-28 14:36:38 +01:00
|
|
|
runHook postInstall
|
2017-11-27 19:47:52 +01:00
|
|
|
'';
|
|
|
|
|
|
|
|
meta = with stdenv.lib; {
|
2017-11-28 14:36:38 +01:00
|
|
|
description = "A launcher for the Java Virtual Machine intended to be a drop-in replacement for the java command, only faster";
|
2017-11-27 22:38:43 +01:00
|
|
|
license = licenses.epl10;
|
2020-04-01 03:11:51 +02:00
|
|
|
homepage = "https://github.com/ninjudd/drip";
|
2017-11-27 19:47:52 +01:00
|
|
|
platforms = platforms.linux;
|
|
|
|
maintainers = [ maintainers.rybern ];
|
|
|
|
};
|
|
|
|
}
|