diff options
Diffstat (limited to 'nixpkgs/pkgs/applications/editors/jedit/default.nix')
-rw-r--r-- | nixpkgs/pkgs/applications/editors/jedit/default.nix | 63 |
1 files changed, 63 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 000000000000..fe9284873551 --- /dev/null +++ b/nixpkgs/pkgs/applications/editors/jedit/default.nix @@ -0,0 +1,63 @@ +{ lib, stdenv, fetchurl, ant, jdk, commonsBsf, commonsLogging, bsh }: + +let + version = "5.2.0"; + bcpg = fetchurl { + url = "mirror://maven/org/bouncycastle/bcpg-jdk16/1.46/bcpg-jdk16-1.46.jar"; + sha256 = "16xhmwks4l65m5x150nd23y5lyppha9sa5fj65rzhxw66gbli82d"; + }; + jsr305 = fetchurl { + url = "mirror://maven/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 + + # specify the correct JAVA_HOME + sed -i '1a JAVA_HOME=${jdk}' package-files/linux/jedit + 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 lib; { + description = "Mature programmer's text editor (Java based)"; + homepage = "http://www.jedit.org"; + sourceProvenance = with sourceTypes; [ binaryBytecode ]; + license = licenses.gpl2; + platforms = platforms.unix; + maintainers = [ ]; + }; +} |