Merge pull request #50631 from layus/tmp/jflex

Update jflex urls, and version by the way
This commit is contained in:
Jörg Thalheim 2018-11-19 09:51:20 +00:00 committed by GitHub
commit 5ad46ce1d6
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,21 +1,31 @@
{stdenv, fetchurl} :
{stdenv, fetchurl, jre} :
stdenv.mkDerivation rec {
name = "jflex-1.6.1";
name = "jflex-1.7.0";
src = fetchurl {
url = "http://jflex.de/${name}.tar.gz";
sha256 = "1h7q2vhb4s42g4pqz5xxxliagprray7i9krr6hyaz1mjlx7gnycq";
url = "http://jflex.de/release/${name}.tar.gz";
sha256 = "1k7bqw1mn569g9dxc0ia3yz1bzgzs5w52lh1xn3hgj7k5ymh54kk";
};
sourceRoot = name;
phases = [ "unpackPhase" "installPhase" ];
installPhase = ''
runHook preInstall
mkdir -p $out
cp -a * $out
rm -f $out/bin/jflex.bat
patchShebangs $out
sed -i -e '/^JAVA=java/ s#java#${jre}/bin/java#' $out/bin/jflex
runHook postInstall
'';
doInstallCheck = true;
installCheckPhase = ''
runHook preCheck
$out/bin/jflex --version
runHook postCheck
'';
meta = {