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