args: args.stdenv.mkDerivation { name = "jedit-4.2"; src = args.fetchurl { url = http://kent.dl.sourceforge.net/sourceforge/jedit/jedit42source.tar.gz; sha256 = "1ckqghsw2r30kfkqfgjl4k47gdwpz8c1h85haw0y0ymq4rqh798j"; }; phases = "unpackPhase buildPhase"; buildPhase = " sed -i 's/\\/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 =(with args; [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"; }; }