Upgraded JBoss to 5.1.0

svn path=/nixpkgs/trunk/; revision=18329

pkgs/servers/http/jboss/builder.sh

@@ -1,15 +0,0 @@
-buildInputs="$jdk5"
-source $stdenv/setup
-
-export JDK_HOME=$jdk5
-export JAVA_HOME=$jdk5
-
-tar xfvz $src
-cd jboss-*
-cd build
-sh build.sh
-ensureDir $out
-cp -av output/jboss-*/* $out
-
-# Insert JAVA_HOME variable to make sure the latest JRE is used and not version 5
-sed -i -e "/GREP/aJAVA_HOME=$jdk" $out/bin/run.sh

pkgs/servers/http/jboss/default.nix

@@ -1,20 +1,27 @@
-{ stdenv, fetchurl, jdk5, jdk }:
+{ stdenv, fetchurl, unzip, jdk, lib }:
 
 stdenv.mkDerivation {
-  name = "jboss-4.2.2.GA";
-
-  builder = ./builder.sh;
-  src = 
-    fetchurl {
-      url = http://garr.dl.sourceforge.net/sourceforge/jboss/jboss-4.2.2.GA-src.tar.gz;
-      md5 = "2a626cdccabe712628555676d67ad44a";
-    };
-
-  inherit jdk5 jdk;
+  name = "jboss-5.1.0.GA";
+  src = fetchurl {
+    url = mirror://sourceforge/jboss/jboss-5.1.0.GA-jdk6.zip;
+    sha256 = "0wy5666h554x1qq4w0rzg3krp4rqrijq0ql7dkx6qgl3vpj9xr5y";
+  };
 
+  buildInputs = [ unzip ];
+      
+  buildPhase = ''
+    sed -i -e "/GREP/aJAVA_HOME=${jdk}" bin/run.sh
+  '';
+  
+  installPhase = ''
+    ensureDir $out
+    cp -av * $out
+  '';
+  
   meta = {
     homepage = "http://www.jboss.org/";
     description = "JBoss, Open Source J2EE application server";
     license = "GPL/LGPL";
+    maintainers = [ lib.maintainers.sander ];
   };
 }

pkgs/top-level/all-packages.nix

@@ -5002,7 +5002,7 @@ let
   };
 
   jboss = import ../servers/http/jboss {
-    inherit fetchurl stdenv jdk5 jdk;
+    inherit fetchurl stdenv unzip jdk lib;
   };
 
   jboss_mysql_jdbc = import ../servers/http/jboss/jdbc/mysql {