diff options
author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2008-06-04 11:48:11 +0000 |
---|---|---|
committer | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2008-06-04 11:48:11 +0000 |
commit | 5edae446d82e68ee655e194cc46114b7348bb883 (patch) | |
tree | 0a2c8b3d066163f0be26551dc5088c55119afc42 /pkgs/applications/editors/jedit | |
parent | b89a5bfa33cbe673212dfed871fbe755973174f2 (diff) | |
download | nixlib-5edae446d82e68ee655e194cc46114b7348bb883.tar nixlib-5edae446d82e68ee655e194cc46114b7348bb883.tar.gz nixlib-5edae446d82e68ee655e194cc46114b7348bb883.tar.bz2 nixlib-5edae446d82e68ee655e194cc46114b7348bb883.tar.lz nixlib-5edae446d82e68ee655e194cc46114b7348bb883.tar.xz nixlib-5edae446d82e68ee655e194cc46114b7348bb883.tar.zst nixlib-5edae446d82e68ee655e194cc46114b7348bb883.zip |
* Move jedit to editors/jedit.
svn path=/nixpkgs/trunk/; revision=11978
Diffstat (limited to 'pkgs/applications/editors/jedit')
-rw-r--r-- | pkgs/applications/editors/jedit/default.nix | 28 | ||||
-rw-r--r-- | pkgs/applications/editors/jedit/wrapper.nix | 18 |
2 files changed, 46 insertions, 0 deletions
diff --git a/pkgs/applications/editors/jedit/default.nix b/pkgs/applications/editors/jedit/default.nix new file mode 100644 index 000000000000..c43b7f869146 --- /dev/null +++ b/pkgs/applications/editors/jedit/default.nix @@ -0,0 +1,28 @@ +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"; + }; +} diff --git a/pkgs/applications/editors/jedit/wrapper.nix b/pkgs/applications/editors/jedit/wrapper.nix new file mode 100644 index 000000000000..8af3d96918d8 --- /dev/null +++ b/pkgs/applications/editors/jedit/wrapper.nix @@ -0,0 +1,18 @@ +args: with args; +stdenv.mkDerivation { + name = jedit.name+"_startscript"; + + java = jre+"/bin/java"; + jeditjar = jedit+"/lib/jedit.jar"; + + phases = "buildPhase"; + + buildPhase = " +ensureDir \$out/bin +cat > \$out/bin/${jedit.name} << EOF +#!/bin/sh +exec $java -jar $jeditjar \\$* +EOF + chmod +x \$out/bin/${jedit.name} +"; +} |