X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fuwobo%2Fbuild.xml;h=634c6233f86da5d6200afdaf48018dd25504afcc;hb=85ccebb566c36671ca753debe09e6dd5c9dd0df7;hp=c021b0b46556e48c41e29ea547fdef8f476f058d;hpb=02bc1a8c06b2d2c5169c9f1beecf9daa94a85247;p=helm.git

diff --git a/helm/uwobo/build.xml b/helm/uwobo/build.xml
index c021b0b46..634c6233f 100644
--- a/helm/uwobo/build.xml
+++ b/helm/uwobo/build.xml
@@ -4,7 +4,8 @@
 
 	<property name="Name" value="Uwobo"/>
 	<property name="name" value="uwobo"/>
-	<property name="version" value="1.1.12"/>
+	<property name="version" value="1.2.1"/>
+	<property name="serialization_dir" value=""/>
 
 	<property file=".${name}.properties" />
 	<property file="${user.home}/.${name}.properties" />
@@ -63,6 +64,7 @@
 		<filter token="VERSION" value="${version}" />
 		<filter token="DATE" value="${TODAY}" />
 		<filter token="TIME" value="${TSTAMP}" />
+                <filter token="SERIALIZATION_DIR" value="${serialization_dir}" />
 		<copy todir="${build.dir}" overwrite="true" filtering="on">
 			<fileset dir="${src.dir}">
 				<include name="**/properties.txt" />
@@ -136,6 +138,8 @@
 		<copy todir="${dist.dir}/docs" >
 			<fileset dir="${docs.dir}" />
 		</copy>
+                <!-- CSC: next line needed only if resources is empty -->
+		<mkdir dir="resources"/>
 		<copy todir="${dist.dir}/resources" >
 			<fileset dir="resources" />
 		</copy>
@@ -151,6 +155,7 @@
 	</target>
 
 	<target name="dist-zip" depends="dist">
+		<mkdir dir="backup"/>
 		<zip zipfile="backup/${Name}-${version}.zip" basedir="${dist.dir}" includes="**" />
 	</target>
 
@@ -159,6 +164,7 @@
 	</target>
 
 	<target name="dist-tgz" depends="dist">
+		<mkdir dir="backup"/>
 		<move todir="${name}">
 			<fileset dir="${dist.dir}"/>
 		</move>