pkgs/by-name/jf/jflex/package.nix

   1 {
   2   lib,
   3   stdenv,
   4   fetchurl,
   5   jre,
   6 }:
   7
   8 stdenv.mkDerivation rec {
   9   pname = "jflex";
  10   version = "1.9.1";
  11
  12   src = fetchurl {
  13     url = "http://jflex.de/release/jflex-${version}.tar.gz";
  14     sha256 = "sha256-4MHp7vkf9t8E1z+l6v8T86ArZ5/uFHTlzK4AciTfbfY=";
  15   };
  16
  17   sourceRoot = "${pname}-${version}";
  18
  19   installPhase = ''
  20     runHook preInstall
  21     mkdir -p $out
  22     cp -a * $out
  23     rm -f $out/bin/jflex.bat
  24
  25     patchShebangs $out
  26     sed -i -e '/^JAVA=java/ s#java#${jre}/bin/java#' $out/bin/jflex
  27     runHook postInstall
  28   '';
  29
  30   doInstallCheck = true;
  31   installCheckPhase = ''
  32     runHook preInstallCheck
  33     $out/bin/jflex --version
  34     runHook postInstallCheck
  35   '';
  36
  37   meta = {
  38     homepage = "https://www.jflex.de/";
  39     description = "Lexical analyzer generator for Java, written in Java";
  40     mainProgram = "jflex";
  41     license = lib.licenses.bsd3;
  42     platforms = lib.platforms.unix;
  43   };
  44 }