kodkod/release.xml at master · drayside/kodkod · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
<?xml version="1.0" encoding="UTF-8"?>
<project default="binary">
	<property file="release.properties" />
	<property name="version" value=""/>
	<property name="source" value="-src"/>
	<property name="out" value="kodkod-${kodkod.specification.version}"/>

	<mkdir dir="${out}"/>

	<tstamp>
		<format property="TODAY" pattern="yyyy-MM-dd HH:mm:ss" />
	</tstamp>

	<import file="javadoc.xml"/>

	<target name="binary">
		<makeJar destfile="kodkod-${kodkod.specification.version}" basedir="bin" includes="**/*.class" excludes="**/taglet/*"/>
	</target>

	<target name="source">
		<makeJar destfile="kodkod${version}${source}" basedir="src" includes="**/*.java" excludes="**/taglet/*"/>
	</target>

	<target name="lib">
		<zip destfile="${out}/${kodkod.platform.darwin}.zip" basedir="lib"
			includes="**${kodkod.platform.darwin}/*"
			comment="SAT solver binaries for ${kodkod.platform.darwin}."/>
		<zip destfile="${out}/${kodkod.platform.linux}.zip" basedir="lib"
			includes="**${kodkod.platform.linux}/*"
			comment="SAT solver binaries for ${kodkod.platform.linux}."/>
		<zip destfile="${out}/${kodkod.platform.windows}.zip" basedir="lib"
			includes="**${kodkod.platform.windows}/*"
			comment="SAT solver binaries for ${kodkod.platform.windows}."/>
	</target>

	<target name="lib-source">
		<zip destfile="${out}/solvers${version}${source}.zip" basedir="."
			includes="**lib/**" excludes="**/waf, **/sat4j*/*, **/darwin*/*, **/linux*/*, **/windows*/*"
			comment="Sources and build scripts for third-party SAT solvers."/>
	</target>

	<target name="doc" depends="javadoc">
		<zip destfile="${out}/doc${version}.zip" basedir="."
			includes="**doc/**"
			comment="Kodkod API Documentation."/>
	</target>

	<target name="examples">
		<makeJar destfile="examples${version}" title="Examples" basedir="../relations.examples"
			includes="**examples/alloy/*.*, **examples/classicnp/*.*, **examples/tptp/*.*,
					  **examples/sudoku/Sudoku*, **examples/netconfig/Netconfig.*,
			          **examples/xpose/*.*"
			excludes="**/util/*, **/*.col, **/*.launch, **/sudoku/SudokuSolver*"/>
	</target>

	<target name="tools">
		<makeJar destfile="kodkod-tools-${kodkod.specification.version}" title="Tools" basedir="../relations.tools/bin"
			includes="**/*.class" excludes="**/*Test*.*, **/*.kks"/>
		<zip destfile="${out}/kodkod-tools-lib.zip" basedir="../relations.tools/lib"
			includes="*.jar"  comment="Third party Java libraries used by Kodkod Tools."/>
	</target>

	<target name="tests">
		<makeJar destfile="tests${version}" title="Tests" basedir="../relations.tests"
			includes="**tests/**/*.*"/>
	</target>

	<macrodef name="makeJar">
		<attribute name="destfile"/>
		<attribute name="basedir"/>
		<attribute name="includes"/>
		<attribute name="excludes" default=""/>
		<attribute name="title" default=""/>
		<sequential>
			<jar destfile="${out}/@{destfile}.jar" basedir="@{basedir}" includes="@{includes}" excludes="@{excludes}">
				<manifest>
					<attribute name="Built-By" value="${kodkod.author}" />
					<attribute name="Built-Date" value="${TODAY}" />
					<attribute name="Specification-Vendor" value="${kodkod.author}" />
					<attribute name="Specification-Title" value="${kodkod.specification.title} @{title}" />
					<attribute name="Specification-Version" value="${kodkod.specification.version}" />
					<attribute name="Implementation-Vendor" value="${kodkod.author}" />
					<attribute name="Implementation-Title" value="${kodkod.specification.title} @{title}" />
					<attribute name="Implementation-Version" value="${kodkod.implementation.version}" />
				</manifest>
			</jar>
		</sequential>
	</macrodef>
</project>