blob: aaf558ace091528b2986bc0d08f39034a621a25d (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
args: with args;
stdenv.mkDerivation {
name = "jedit-4.2";
src = fetchurl {
url = http://kent.dl.sourceforge.net/sourceforge/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://sourceforge.net/project/showfiles.php?group_id=588;
license = "GPL";
};
}
|