nixpkgs/pkgs/applications/editors/jedit/default.nix
Eelco Dolstra 5edae446d8 * Move jedit to editors/jedit.
svn path=/nixpkgs/trunk/; revision=11978
2008-06-04 11:48:11 +00:00

29 lines
692 B
Nix

args: with args;
stdenv.mkDerivation {
name = "jedit-4.2";
src = fetchurl {
url = mirror://sf/jedit/jedit42source.tar.gz;
sha256 = "1ckqghsw2r30kfkqfgjl4k47gdwpz8c1h85haw0y0ymq4rqh798j";
};
phases = "unpackPhase buildPhase";
buildPhase = "
sed -i 's/\\<SplashScreen\\>/org.gjt.sp.jedit.gui.SplashScreen/g' org/gjt/sp/jedit/GUIUtilities.java
ant dist
ensureDir $out/lib
cp jedit.jar $out/lib
ensureDir \$out/lib/modes
cp modes/catalog \$out/lib/modes
";
buildInputs = [ant];
meta = {
description = "really nice programmers editor written in Java. Give it a try";
homepage = http://www.jedit.org;
license = "GPL";
};
}