diff options
Diffstat (limited to 'pkgs/servers/http/jboss/builder.sh')
| -rw-r--r-- | pkgs/servers/http/jboss/builder.sh | 18 |
1 files changed, 18 insertions, 0 deletions
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 |