tjh.dev
1{lib, stdenv, fetchurl, jre} :
2
3stdenv.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 license = lib.licenses.bsd3;
36 platforms = lib.platforms.unix;
37 };
38}