1{lib, stdenv, fetchurl, jre} :
2
3stdenv.mkDerivation rec {
4 pname = "jflex";
5 version = "1.8.2";
6
7 src = fetchurl {
8 url = "http://jflex.de/release/jflex-${version}.tar.gz";
9 sha256 = "1ar7g6zb2xjgnws3j4cqcp86jplhc9av8cpcjdmxw08x6igd5q51";
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 license = lib.licenses.bsd3;
36 platforms = lib.platforms.unix;
37 };
38}