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

jedit: Fix build

Browse Source
This commit is contained in:
Eelco Dolstra 2014-01-03 14:31:57 +01:00
parent ec685e30de
commit d150d49128
1 changed files with 12 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
pkgs/applications/editors/jedit/default.nix
View File

@ -1,20 +1,20 @@
{ stdenv, fetchurl, ant, jre }: { stdenv, fetchurl, ant, jdk }:
let version = "4.4.2"; in
stdenv.mkDerivation { stdenv.mkDerivation {
name = "jedit-4.4.2"; name = "jedit-${version}";
src = fetchurl { src = fetchurl {
url = mirror://sourceforge/jedit/jedit4.4.2source.tar.bz2; url = "mirror://sourceforge/jedit/jedit${version}source.tar.bz2";
sha256 = "5e9ad9c32871b77ef0b9fe46dcfcea57ec52558d36113b7280194a33430b8ceb"; sha256 = "5e9ad9c32871b77ef0b9fe46dcfcea57ec52558d36113b7280194a33430b8ceb";
}; };
setSourceRoot = '' buildInputs = [ ant jdk ];
sourceRoot=jEdit
'';
buildPhase = '' sourceRoot = "jEdit";
ant build
''; buildPhase = "ant build";
installPhase = '' installPhase = ''
mkdir -p $out/share/jEdit mkdir -p $out/share/jEdit
@ -35,7 +35,7 @@ stdenv.mkDerivation {
patch package-files/linux/jedit << EOF patch package-files/linux/jedit << EOF
5a6,8 5a6,8
> # specify the correct JAVA_HOME > # specify the correct JAVA_HOME
> JAVA_HOME=${jre} > JAVA_HOME=${jdk.jre}/lib/openjdk/jre
> >
EOF EOF
sed -i "s|/usr/share/jEdit/@jar.filename@|$out/share/jEdit/jedit.jar|g" package-files/linux/jedit sed -i "s|/usr/share/jEdit/@jar.filename@|$out/share/jEdit/jedit.jar|g" package-files/linux/jedit
@ -44,8 +44,6 @@ stdenv.mkDerivation {
chmod +x $out/bin/jedit chmod +x $out/bin/jedit
''; '';
buildInputs = [ ant ];
meta = { meta = {
description = "Mature programmer's text editor (Java based)"; description = "Mature programmer's text editor (Java based)";
homepage = http://www.jedit.org; homepage = http://www.jedit.org;