public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

jflex: 1.6.1 -> 1.7.0

Browse Source
This commit is contained in:
Guillaume Maudoux 2018-11-18 22:15:58 +01:00 committed by Guillaume Maudoux
parent 33326bee7f
commit 02212e1d02
1 changed files with 6 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
pkgs/development/libraries/java/jflex/default.nix
View File

@ -1,11 +1,11 @@
{stdenv, fetchurl} : {stdenv, fetchurl, jre} :
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "jflex-1.6.1"; name = "jflex-1.7.0";
src = fetchurl { src = fetchurl {
url = "http://jflex.de/release/${name}.tar.gz"; url = "http://jflex.de/release/${name}.tar.gz";
sha256 = "1h7q2vhb4s42g4pqz5xxxliagprray7i9krr6hyaz1mjlx7gnycq"; sha256 = "1k7bqw1mn569g9dxc0ia3yz1bzgzs5w52lh1xn3hgj7k5ymh54kk";
}; };
sourceRoot = name; sourceRoot = name;
@ -15,7 +15,10 @@ stdenv.mkDerivation rec {
installPhase = '' installPhase = ''
mkdir -p $out mkdir -p $out
cp -a * $out cp -a * $out
rm -f $out/bin/jflex.bat
patchShebangs $out patchShebangs $out
sed -i -e '/^JAVA=java/ s#java#${jre}/bin/java#' $out/bin/jflex
''; '';
meta = { meta = {