|
|
|
|
|
|
|
|
<property name="moxie.dir" value="${user.home}/.moxie" />
|
|
|
<property name="moxie.dir" value="${user.home}/.moxie" />
|
|
|
|
|
|
|
|
|
<!-- Download Moxie from it's Maven repository to user.home -->
|
|
|
<!-- Download Moxie from it's Maven repository to user.home -->
|
|
|
|
|
|
<mkdir dir="${moxie.dir}" />
|
|
|
<get src="${moxie.url}/org/moxie/moxie-toolkit/${moxie.version}/${moxie.jar}"
|
|
|
<get src="${moxie.url}/org/moxie/moxie-toolkit/${moxie.version}/${moxie.jar}"
|
|
|
dest="${moxie.dir}" skipexisting="true" verbose="true" />
|
|
|
dest="${moxie.dir}" skipexisting="true" verbose="true" />
|
|
|
|
|
|
|