tjh.dev
1{stdenv, fetchurl, jre} :
2
3stdenv.mkDerivation rec {
4 name = "jflex-1.7.0";
5
6 src = fetchurl {
7 url = "http://jflex.de/release/${name}.tar.gz";
8 sha256 = "1k7bqw1mn569g9dxc0ia3yz1bzgzs5w52lh1xn3hgj7k5ymh54kk";
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}