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

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