X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fuwobo%2Fbuild.xml;fp=helm%2Fuwobo%2Fbuild.xml;h=0000000000000000000000000000000000000000;hb=e108abe5c0b4eb841c4ad332229a6c0e57e70079;hp=634c6233f86da5d6200afdaf48018dd25504afcc;hpb=1456c337a60f6677ee742ff7891d43fc382359a9;p=helm.git

diff --git a/helm/uwobo/build.xml b/helm/uwobo/build.xml
deleted file mode 100644
index 634c6233f..000000000
--- a/helm/uwobo/build.xml
+++ /dev/null
@@ -1,182 +0,0 @@
-<?xml version="1.0"?>
-
-<project name="uwobo" default="build" basedir=".">
-
-	<property name="Name" value="Uwobo"/>
-	<property name="name" value="uwobo"/>
-	<property name="version" value="1.2.1"/>
-	<property name="serialization_dir" value=""/>
-
-	<property file=".${name}.properties" />
-	<property file="${user.home}/.${name}.properties" />
-
-	<property name="packages" value="it.unibo.cs.helm.uwobo.*" />
-
-	<property name="helm.home" value="." />
-	<property name="src.dir" value="src" />
-	<property name="docs.dir" value="docs" />
-	<property name="lib.dir" value="lib" />
-	<property name="build.dir" value="build" />
-	<property name="dist.dir" value="dist" />
-	<property name="deploy.dir" value="deploy/webapps/helm"/>
-	<property name="tomcat.dir" value="/projects/helm/shared/libraries/tomcat/"/>
- 
-	<property file=".${name}.properties" />
-	<property file="${user.home}/.${name}.properties" />
-
-	<path id="compile.classpath">
-		<fileset dir="${lib.dir}">
-			<include name="*.jar"/>
-			<include name="*.zip"/>
-			<exclude name="${name}*.jar"/>
-		</fileset>
-		<pathelement location="${build.dir}"/>
-	</path>
-
-	<path id="runtime_server.classpath">
-		<fileset dir="${lib.dir}">
-			<include name="*.jar"/>
-			<include name="*.zip"/>
-			<exclude name="${name}_client.jar"/>
-		</fileset>
-	</path>
-
-	<path id="runtime_client.classpath">
-		<fileset dir="${lib.dir}">
-			<include name="*.jar"/>
-			<include name="*.zip"/>
-			<exclude name="${name}_server.jar"/>
-		</fileset>
-	</path>
-
-	<target name="prepare">
-		<mkdir dir="${build.dir}" />
-		<tstamp />
-	</target>
-
-	<target name="compile" depends="prepare">
-		<javac srcdir="${src.dir}" destdir="${build.dir}" debug="on" deprecation="off" >
-			<include name="**/*.java" />
-			<classpath refid="compile.classpath"/>
-		</javac>
-
-		<filter token="PACKAGE" value="${Name}" />
-		<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" />
-			</fileset>
-		</copy>
-	</target>
-
-	<target name="build" depends="compile">
-		<war warfile="${lib.dir}/helm.war" webxml="web.xml">
-			<lib dir="${lib.dir}">
-				<exclude name="servlet.jar"/>
-				<exclude name="${name}*.jar"/>
-				<exclude name="*.war"/>
-			</lib>
-			<classes dir="${build.dir}"/>
-		</war>
- 	</target>
-
-	<target name="install" depends="build">
-		<delete dir="${tomcat.dir}/webapps/helm" />
-		<copy todir="${tomcat.dir}/webapps" file="${lib.dir}/helm.war" />
-	</target>
-
-	<target name="compile_final" depends="clean, prepare">
-		<javac srcdir="${src.dir}" destdir="${build.dir}" debug="off" deprecation="on" optimize="on">
-			<include name="**/*.java" />
-			<classpath refid="compile.classpath"/>
-		</javac>
-
-		<filter token="PACKAGE" value="${Name}" />
-		<filter token="VERSION" value="${version}" />
-		<filter token="DATE" value="${TODAY}" />
-		<filter token="TIME" value="${TSTAMP}" />
-		<copy todir="${build.dir}" overwrite="true" filtering="on">
-			<fileset dir="${src.dir}">
-				<include name="**/properties.txt" />
-			</fileset>
-		</copy>
-	</target>
-
-	<target name="build_final" depends="compile_final">
-		<war warfile="${lib.dir}/helm.war" webxml="web.xml">
-			<lib dir="${lib.dir}">
-				<exclude name="servlet.jar"/>
-				<exclude name="${name}*.jar"/>
-				<exclude name="*.war"/>
-			</lib>
-			<classes dir="${build.dir}"/>
-		</war>
-	</target>
-
-	<target name="dist" depends="build_final">
-		<mkdir dir="${dist.dir}" />
-		<mkdir dir="${dist.dir}/ant" />
-		<chmod file="${dist.dir}/ant" perm="ugo+x" type="dir"/>
-		<mkdir dir="${dist.dir}/lib" />
-		<chmod file="${dist.dir}/lib" perm="ugo+x" type="dir"/>
-		<mkdir dir="${dist.dir}/docs" />
-		<chmod file="${dist.dir}/docs" perm="ugo+x" type="dir"/>
-		<mkdir dir="${dist.dir}/resources" />
-		<chmod file="${dist.dir}/resources" perm="ugo+x" type="dir"/>
-		<mkdir dir="${dist.dir}/src" />
-		<chmod file="${dist.dir}/src" perm="ugo+x" type="dir"/>
-
-		<copy todir="${dist.dir}/ant" >
-			<fileset dir="ant" />
-		</copy>
-		<copy todir="${dist.dir}/lib" >
-			<fileset dir="${lib.dir}" />
-		</copy>
-		<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>
-		<copy todir="${dist.dir}/src" >
-			<fileset dir="${src.dir}" />
-		</copy>
-
-		<copy todir="${dist.dir}" file="antRun" />
-		<chmod file="${dist.dir}/antRun" perm="ugo+rx"/>
-		<copy todir="${dist.dir}" file="antRun.bat" />
-		<copy todir="${dist.dir}" file="build.xml" />
-		<copy todir="${dist.dir}" file="web.xml" />
-	</target>
-
-	<target name="dist-zip" depends="dist">
-		<mkdir dir="backup"/>
-		<zip zipfile="backup/${Name}-${version}.zip" basedir="${dist.dir}" includes="**" />
-	</target>
-
-	<target name="dist-unzip">
-		<unzip src="backup/${Name}.zip" dest="."/>
-	</target>
-
-	<target name="dist-tgz" depends="dist">
-		<mkdir dir="backup"/>
-		<move todir="${name}">
-			<fileset dir="${dist.dir}"/>
-		</move>
-		<tar tarfile="backup/${Name}-${version}.tar" basedir="." includes="${name}/**"/>
-		<move todir="${dist.dir}">
-			<fileset dir="${name}"/>
-		</move>
-		<gzip zipfile="backup/${Name}-${version}.tar.gz" src="backup/${Name}-${version}.tar"/>
-	</target>
-
-	<target name="clean">
-		<delete dir="${build.dir}" />    
-		<delete dir="${dist.dir}" />    
-	</target>
-</project>