<property name="jboss.server" value="${jboss.home}/server/${jboss.config}" />\r
<property name="jboss.deploy" value="${jboss.server}/deploy" />\r
<property name="jboss.lib" value="${jboss.server}/lib" />\r
+ <property name="nuxeo.deploy" value="${jboss.deploy}/nuxeo.ear" />\r
</target>\r
\r
\r
\r
<target name="dist" depends="compile"\r
description="generate the distribution" >\r
+ <fail message="JBoss is not installed or ${jboss.dir} not found">\r
+ <condition>\r
+ <not>\r
+ <available file="${jboss.dir}" type="dir"/>\r
+ </not>\r
+ </condition>\r
+ </fail>\r
+\r
+ <fail message="Nuxeo is not deployed or ${nuxeo.deploy} not found">\r
+ <condition>\r
+ <not>\r
+ <available file="${nuxeo.deploy}" type="dir"/>\r
+ </not>\r
+ </condition>\r
+ </fail>\r
+\r
<!-- Create the distribution directory -->\r
<mkdir dir="${dist}"/>\r
\r