From 12fafd0c7d22b18f89a4e8f06e333c3a14e8e5d0 Mon Sep 17 00:00:00 2001
From: Sander van der Burg <s.vanderburg@tudelft.nl>
Date: Wed, 23 Jan 2008 12:25:08 +0000
Subject: Added JBoss

svn path=/nixpkgs/trunk/; revision=10259
---
 pkgs/servers/http/jboss/builder.sh  | 18 ++++++++++++++++++
 pkgs/servers/http/jboss/default.nix | 20 ++++++++++++++++++++
 2 files changed, 38 insertions(+)
 create mode 100644 pkgs/servers/http/jboss/builder.sh
 create mode 100644 pkgs/servers/http/jboss/default.nix

(limited to 'pkgs/servers/http/jboss')

diff --git a/pkgs/servers/http/jboss/builder.sh b/pkgs/servers/http/jboss/builder.sh
new file mode 100644
index 000000000000..1a9e650ebcc1
--- /dev/null
+++ b/pkgs/servers/http/jboss/builder.sh
@@ -0,0 +1,18 @@
+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
+
+# Change the deploy directory to the nix profile
+sed -i -e "s|deploy/|/nix/var/nix/profiles/default/server/default/deploy/|" $out/server/default/conf/jboss-service.xml
diff --git a/pkgs/servers/http/jboss/default.nix b/pkgs/servers/http/jboss/default.nix
new file mode 100644
index 000000000000..279e4bfae71c
--- /dev/null
+++ b/pkgs/servers/http/jboss/default.nix
@@ -0,0 +1,20 @@
+{ stdenv, fetchurl, jdk5, jdk }:
+
+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;
+
+  meta = {
+    homepage = "http://www.jboss.org/";
+    description = "JBoss, Open Source J2EE application server";
+    license = "GPL/LGPL";
+  };
+}
-- 
cgit 1.4.1