summaryrefslogtreecommitdiffstats
path: root/verigraph/build.xml
diff options
context:
space:
mode:
authorserena.spinoso <serena.spinoso@polito.it>2017-09-07 10:22:39 +0200
committerserena.spinoso <serena.spinoso@polito.it>2017-09-12 08:42:03 +0200
commita42de79292d9541db7865b54e93be2d0b6e6a094 (patch)
treecc357be8dc0030be4fa965273c4074f0dcb79345 /verigraph/build.xml
parentdd361d8d9df7a69a4fc7c004db5b959440a024c2 (diff)
update verigraph
JIRA: PARSER-154 code optimizations about graph manipulation and formula generation. Change-Id: Idebef19b128281aa2bc40d1aeab6e208c7ddd93d Signed-off-by: serena.spinoso <serena.spinoso@polito.it>
Diffstat (limited to 'verigraph/build.xml')
-rw-r--r--verigraph/build.xml206
1 files changed, 206 insertions, 0 deletions
diff --git a/verigraph/build.xml b/verigraph/build.xml
new file mode 100644
index 0000000..dae4678
--- /dev/null
+++ b/verigraph/build.xml
@@ -0,0 +1,206 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!--
+ Copyright (c) 2017 Politecnico di Torino and others.
+
+ All rights reserved. This program and the accompanying materials
+ are made available under the terms of the Apache License, Version 2.0
+ which accompanies this distribution, and is available at
+ http://www.apache.org/licenses/LICENSE-2.0
+-->
+<project name="Verigraph" default="generate-war" basedir="." xmlns:artifact="antlib:org.apache.maven.artifact.ant">
+ <description>
+ Script for Verigraph
+ </description>
+
+ <property name="root.location" location="." />
+ <!-- The location to be used for class files -->
+ <property name="src.dir" location="${root.location}/src" />
+ <property name="gen.dir" location="${root.location}/gen-src" />
+ <property name="war.dir" location="${root.location}/war" />
+ <property name="grpc.dir" value="${src.dir}/it/polito/verigraph/grpc" />
+ <property name="path.prefix" value="it/polito" />
+ <property name="build.dir" location="${root.location}/build" />
+ <property name="lib.dir" location="${root.location}/lib" />
+ <property name="schemadir" location="${root.location}/schema" />
+ <property name="schemafile" value="xml_components.xsd" />
+ <property name="testfile" value="test.py" />
+ <property name="target" value="1.8" />
+ <property name="source" value="1.8" />
+ <property name="gen-tomcat-service.dir" location="${root.location}/target" />
+ <property name="resources.dir" location="${root.location}/webapp" />
+ <property name="gen-war.dir" location="${root.location}/war" />
+ <property name="jsonschemafolder.dir" location="${root.location}/jsonschema" />
+ <property name="test.dir" location="${root.location}/tester" />
+ <property name="iteration" value="1" />
+
+ <path id="z3.classpath">
+ <pathelement location="${lib.dir}/com.microsoft.z3.jar" />
+ </path>
+
+
+ <import file="tomcat-build.xml" />
+
+ <target name="mvn-init" unless="compile.classpath" xmlns:artifact="urn:maven-artifact-ant">
+ <typedef resource="org/apache/maven/artifact/ant/antlib.xml" uri="urn:maven-artifact-ant" classpath="lib/maven-ant-tasks-2.1.3.jar" />
+ <condition property="maven.repo.local" value="${maven.repo.local}" else="${user.home}/.m2/repository">
+ <isset property="maven.repo.local" />
+ </condition>
+ <echo>maven.repo.local=${maven.repo.local}</echo>
+ <artifact:localRepository id="local.repository" path="${maven.repo.local}" />
+ <artifact:pom file="pom.xml" id="maven.project" />
+ <artifact:dependencies pathId="compile.classpath" filesetId="compile.fileset" useScope="compile">
+ <pom refid="maven.project" />
+ <localRepository refid="local.repository" />
+ </artifact:dependencies>
+ <artifact:dependencies pathId="test.classpath" filesetId="test.fileset" useScope="test">
+ <pom refid="maven.project" />
+ <localRepository refid="local.repository" />
+ </artifact:dependencies>
+ <artifact:dependencies pathId="runtime.classpath" filesetId="runtime.fileset" useScope="runtime">
+ <pom refid="maven.project" />
+ <localRepository refid="local.repository" />
+ </artifact:dependencies>
+ <artifact:dependencies pathId="build.classpath" filesetId="build.fileset">
+ <pom refid="maven.project" />
+ <localRepository refid="local.repository" />
+ </artifact:dependencies>
+ </target>
+
+
+ <target name="init">
+ <mkdir dir="${build.dir}" />
+ <mkdir dir="${gen-tomcat-service.dir}" />
+ <mkdir dir="${gen-war.dir}" />
+ <mkdir dir="${gen.dir}" />
+ <mkdir dir="${lib.dir}" />
+ <get dest="${lib.dir}">
+ <url url="https://github.com/Z3Prover/z3/releases/download/z3-4.5.0/z3-4.5.0-x86-win.zip" />
+ <url url="http://central.maven.org/maven2/org/apache/maven/maven-ant-tasks/2.1.3/maven-ant-tasks-2.1.3.jar" />
+ </get>
+ <unzip src="${lib.dir}/z3-4.5.0-x86-win.zip" dest="${lib.dir}" overwrite="true">
+ <patternset>
+ <include name="**/**/com.microsoft.z3.jar" />
+ </patternset>
+ <mapper type="flatten" />
+ </unzip>
+ <delete file="${lib.dir}/z3-4.5.0-x86-win.zip" />
+ </target>
+
+
+ <target name="-chk-bindings">
+ <uptodate property="generate-bindings.notRequired" targetfile="${src.dir}/.flagfile">
+ <srcfiles dir="${schemadir}" includes="${schemafile}" />
+ </uptodate>
+ </target>
+
+
+ <target name="generate-bindings" unless="generate-bindings.notRequired" depends="init" description="Create the value classes">
+ <exec executable="xjc" failonerror="true">
+ <arg line="-d ${gen.dir} -p it.polito.neo4j.jaxb ${schemadir}/${schemafile}" />
+ </exec>
+ <touch file="${src.dir}/.flagfile" />
+ </target>
+
+
+ <!-- The target for compiling the Verigraph application -->
+ <target name="build-service" depends="init, generate-bindings, mvn-init">
+ <echo>Building verigraph (if needed)...</echo>
+ <javac destdir="${build.dir}" debug="${debug}" debuglevel="${debuglevel}" source="${source}" target="${target}" includeantruntime="false">
+ <classpath>
+ <path id="compile.classpath" />
+ <path id="z3.classpath" />
+ </classpath>
+ <src path="${src.dir}" />
+ <src path="${gen.dir}" />
+ <src path="${basedir}/gen-protobuf" />
+ <include name="${path.prefix}/**/*.java" />
+ <exclude name="main/proto/" />
+ </javac>
+ <echo>Done.</echo>
+ </target>
+
+
+ <macrodef name="war-exploded">
+ <sequential>
+ <copy toDir="${gen-tomcat-service.dir}" overwrite="true">
+ <fileset dir="${resources.dir}" />
+ </copy>
+ <copy toDir="${gen-tomcat-service.dir}" overwrite="true">
+ <fileset dir=".">
+ <include name="server.properties" />
+ </fileset>
+ </copy>
+ <!-- copy class files to WEB-INF/classes directory -->
+ <copy toDir="${gen-tomcat-service.dir}/WEB-INF/classes" overwrite="true">
+ <fileset dir="${build.dir}">
+ <exclude name="verigraph.proto" />
+ <exclude name="src/main/proto" />
+ </fileset>
+ </copy>
+ <!-- copy jsonschema folder to WEB-INF/classes directory -->
+ <copy toDir="${gen-tomcat-service.dir}/jsonschema" overwrite="true">
+ <fileset dir="${jsonschemafolder.dir}" />
+ </copy>
+ <!-- copy lib files to WEB-INF/lib directory -->
+ <copy toDir="${gen-tomcat-service.dir}/maven-lib" overwrite="true">
+ <fileset refid="runtime.fileset">
+ </fileset>
+ </copy>
+ <copy toDir="${gen-tomcat-service.dir}/WEB-INF/lib" overwrite="true" flatten="true">
+ <fileset dir="${gen-tomcat-service.dir}/maven-lib">
+ <include name="**/**/*.jar" />
+ </fileset>
+ </copy>
+ <delete dir="${gen-tomcat-service.dir}/maven-lib" />
+
+ <!-- Make the jar that includes only the classes needed for verigraph models -->
+ <jar destfile="${gen-tomcat-service.dir}/WEB-INF/lib/mcnet.jar">
+ <fileset dir="${build.dir}">
+ <include name="it/polito/verigraph/mcnet/**/*.class" />
+ </fileset>
+ </jar>
+ <!-- Copy the z3 library -->
+ <copy toDir="${gen-tomcat-service.dir}/WEB-INF/lib" overwrite="true" flatten="true">
+ <file name="${lib.dir}/com.microsoft.z3.jar" />
+ </copy>
+ </sequential>
+ </macrodef>
+
+
+ <target name="war-exploded" depends="build-service">
+ <war-exploded />
+ </target>
+
+
+ <target name="generate-war" depends="war-exploded">
+ <war destfile="${gen-war.dir}/${serviceName}.war" basedir="${gen-tomcat-service.dir}">
+ <exclude name="protoc-dependencies/" />
+ <exclude name="protoc-plugins/" />
+ <exclude name="classes/" />
+ <exclude />
+ </war>
+ </target>
+
+
+ <!-- launch test python test -->
+ <target name="run-test">
+ <exec dir="${test.dir}" executable="python">
+ <arg value="${testfile}" />
+ <arg value="-iteration " />
+ <arg value="${iteration}" />
+ </exec>
+ </target>
+
+
+
+ <!-- target for cleaning -->
+ <target name="clean">
+ <delete dir="${build.dir}" />
+ <delete dir="${gen.dir}" />
+ <delete dir="${gen-tomcat-service.dir}" />
+ <delete dir="${war.dir}" />
+ <delete dir="${lib.dir}" />
+ </target>
+
+
+</project> \ No newline at end of file