diff options
| author | Guillaume Maudoux <layus.on@gmail.com> | 2018-11-18 22:15:58 +0100 |
|---|---|---|
| committer | Guillaume Maudoux <guillaume.maudoux@uclouvain.be> | 2018-11-19 10:17:44 +0100 |
| commit | 02212e1d029893688cbbe246b714267d99c9018a (patch) | |
| tree | 31e7b4e44b21cb85748b310bc2f0abc712bdbd91 /pkgs/development/libraries/java | |
| parent | 33326bee7f58c6f0e1411bf101bbfed7cf13008d (diff) | |
| download | nixpkgs-02212e1d029893688cbbe246b714267d99c9018a.tar nixpkgs-02212e1d029893688cbbe246b714267d99c9018a.tar.gz nixpkgs-02212e1d029893688cbbe246b714267d99c9018a.tar.bz2 nixpkgs-02212e1d029893688cbbe246b714267d99c9018a.tar.lz nixpkgs-02212e1d029893688cbbe246b714267d99c9018a.tar.xz nixpkgs-02212e1d029893688cbbe246b714267d99c9018a.tar.zst nixpkgs-02212e1d029893688cbbe246b714267d99c9018a.zip | |
jflex: 1.6.1 -> 1.7.0
Diffstat (limited to 'pkgs/development/libraries/java')
| -rw-r--r-- | pkgs/development/libraries/java/jflex/default.nix | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/pkgs/development/libraries/java/jflex/default.nix b/pkgs/development/libraries/java/jflex/default.nix index bc7b2f1d363..54de0a7c113 100644 --- a/pkgs/development/libraries/java/jflex/default.nix +++ b/pkgs/development/libraries/java/jflex/default.nix @@ -1,11 +1,11 @@ -{stdenv, fetchurl} : +{stdenv, fetchurl, jre} : stdenv.mkDerivation rec { - name = "jflex-1.6.1"; + name = "jflex-1.7.0"; src = fetchurl { url = "http://jflex.de/release/${name}.tar.gz"; - sha256 = "1h7q2vhb4s42g4pqz5xxxliagprray7i9krr6hyaz1mjlx7gnycq"; + sha256 = "1k7bqw1mn569g9dxc0ia3yz1bzgzs5w52lh1xn3hgj7k5ymh54kk"; }; sourceRoot = name; @@ -15,7 +15,10 @@ stdenv.mkDerivation rec { installPhase = '' 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 ''; meta = { |