aboutsummaryrefslogtreecommitdiff
path: root/nixpkgs/pkgs/applications/editors/jedit/default.nix
diff options
context:
space:
mode:
Diffstat (limited to 'nixpkgs/pkgs/applications/editors/jedit/default.nix')
-rw-r--r--nixpkgs/pkgs/applications/editors/jedit/default.nix66
1 files changed, 66 insertions, 0 deletions
diff --git a/nixpkgs/pkgs/applications/editors/jedit/default.nix b/nixpkgs/pkgs/applications/editors/jedit/default.nix
new file mode 100644
index 00000000000..21a6a847518
--- /dev/null
+++ b/nixpkgs/pkgs/applications/editors/jedit/default.nix
@@ -0,0 +1,66 @@
+{ stdenv, fetchurl, ant, jdk, commonsBsf, commonsLogging, bsh }:
+
+let
+ version = "5.2.0";
+ bcpg = fetchurl {
+ url = http://central.maven.org/maven2/org/bouncycastle/bcpg-jdk16/1.46/bcpg-jdk16-1.46.jar;
+ sha256 = "16xhmwks4l65m5x150nd23y5lyppha9sa5fj65rzhxw66gbli82d";
+ };
+ jsr305 = fetchurl {
+ url = http://central.maven.org/maven2/com/google/code/findbugs/jsr305/2.0.0/jsr305-2.0.0.jar;
+ sha256 = "0s74pv8qjc42c7q8nbc0c3b1hgx0bmk3b8vbk1z80p4bbgx56zqy";
+ };
+in
+
+stdenv.mkDerivation {
+ pname = "jedit";
+ inherit version;
+ src = fetchurl {
+ url = "mirror://sourceforge/jedit/jedit${version}source.tar.bz2";
+ sha256 = "03wmbh90rl5lsc35d7jwcp9j5qyyzq1nccxf4fal8bmnx8n4si0x";
+ };
+
+ buildInputs = [ ant jdk commonsBsf commonsLogging ];
+
+ # This patch removes from the build process:
+ # - the automatic download of dependencies (see configurePhase);
+ # - the tests
+ patches = [ ./build.xml.patch ];
+
+ configurePhase = ''
+ mkdir -p lib/ant-contrib/ lib/scripting lib/compile lib/default-plugins
+ cp ${ant}/lib/ant/lib/ant-contrib-*.jar lib/ant-contrib/
+ cp ${bsh} ${bcpg} lib/scripting/
+ cp ${jsr305} lib/compile/
+ '';
+
+ buildPhase = "ant build";
+
+ installPhase = ''
+ mkdir -p $out/share/jEdit
+ cp -r build/jedit.jar doc icons keymaps macros modes startup $out/share/jEdit
+
+ sed -i "s|Icon=.*|Icon=$out/share/jEdit/icons/jedit-icon48.png|g" package-files/linux/deb/jedit.desktop
+ mkdir -p $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=${jdk.jre.home}/jre
+ >
+ EOF
+ sed -i "s|/usr/share/jEdit/@jar.filename@|$out/share/jEdit/jedit.jar|g" package-files/linux/jedit
+ mkdir -p $out/bin
+ cp package-files/linux/jedit $out/bin/jedit
+ chmod +x $out/bin/jedit
+ '';
+
+ meta = with stdenv.lib; {
+ description = "Mature programmer's text editor (Java based)";
+ homepage = http://www.jedit.org;
+ license = licenses.gpl2;
+ platforms = platforms.unix;
+ maintainers = [ maintainers.vbgl ];
+ };
+}