diff options
-rw-r--r-- | pkgs/development/libraries/java/jflex/default.nix | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/pkgs/development/libraries/java/jflex/default.nix b/pkgs/development/libraries/java/jflex/default.nix index 54de0a7c113..3acd54923ba 100644 --- a/pkgs/development/libraries/java/jflex/default.nix +++ b/pkgs/development/libraries/java/jflex/default.nix @@ -10,15 +10,22 @@ stdenv.mkDerivation rec { sourceRoot = name; - phases = [ "unpackPhase" "installPhase" ]; - installPhase = '' + runHook preInstall mkdir -p $out cp -a * $out rm -f $out/bin/jflex.bat patchShebangs $out sed -i -e '/^JAVA=java/ s#java#${jre}/bin/java#' $out/bin/jflex + runHook postInstall + ''; + + doInstallCheck = true; + installCheckPhase = '' + runHook preCheck + $out/bin/jflex --version + runHook postCheck ''; meta = { |