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

Update of the 'jedit' package.

Browse Source 
svn path=/nixpkgs/trunk/; revision=31614
This commit is contained in:
Arie Middelkoop 2012-01-17 22:40:05 +00:00
parent be1805b4fb
commit b02bc1ef59
1 changed files with 39 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1,28 +1,53 @@
{ stdenv, fetchurl, ant }: { stdenv, fetchurl, ant, jre }:
stdenv.mkDerivation { stdenv.mkDerivation {
name = "jedit-4.2"; name = "jedit-4.4.2";
src = fetchurl { src = fetchurl {
url = mirror://sf/jedit/jedit42source.tar.gz; url = mirror://sf/jedit/jedit4.4.2source.tar.bz2;
sha256 = "1ckqghsw2r30kfkqfgjl4k47gdwpz8c1h85haw0y0ymq4rqh798j"; sha256 = "5e9ad9c32871b77ef0b9fe46dcfcea57ec52558d36113b7280194a33430b8ceb";
}; };
phases = "unpackPhase buildPhase"; setSourceRoot = ''
sourceRoot=jEdit
'';
buildPhase = " buildPhase = ''
sed -i 's/\\<SplashScreen\\>/org.gjt.sp.jedit.gui.SplashScreen/g' org/gjt/sp/jedit/GUIUtilities.java ant build
ant dist '';
ensureDir $out/lib
cp jedit.jar $out/lib installPhase = ''
ensureDir \$out/lib/modes ensureDir $out/share/jEdit
cp modes/catalog \$out/lib/modes cp build/jedit.jar $out/share/jEdit
"; ensureDir $out/share/jEdit/modes
cp -r modes/* $out/share/jEdit/modes
ensureDir $out/share/jEdit/icons
cp -r icons/* $out/share/jEdit/icons
ensureDir $out/share/jEdit/macros
cp -r macros/* $out/share/jEdit/macros
ensureDir $out/share/jEdit/doc
cp -r doc/* $out/share/jEdit/doc
sed -i "s|Icon=.*|Icon=$out/share/jEdit/icons/jedit-icon48.png|g" package-files/linux/deb/jedit.desktop
ensureDir $out/share/applications
mv package-files/linux/deb/jedit.desktop $out/share/applications/jedit.desktop
patch package-files/linux/jedit << EOF
5a6,8
> # specify the correct JAVA_HOME
> JAVA_HOME=${jre}
>
EOF
sed -i "s|/usr/share/jEdit/@jar.filename@|$out/share/jEdit/jedit.jar|g" package-files/linux/jedit
ensureDir $out/bin
cp package-files/linux/jedit $out/bin/jedit
chmod +x $out/bin/jedit
'';
buildInputs = [ ant ]; buildInputs = [ ant ];
meta = { meta = {
description = "really nice programmers editor written in Java. Give it a try"; description = "Mature programmer's text editor (Java based)";
homepage = http://www.jedit.org; homepage = http://www.jedit.org;
license = "GPL"; license = "GPL";
}; };