forked from sosy-lab/java-smt
-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathivy.xml
132 lines (100 loc) · 7.19 KB
/
ivy.xml
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
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
<?xml version="1.0" encoding="UTF-8"?>
<ivy-module version="2.0"
xmlns:e="http://ant.apache.org/ivy/extra"
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
xsi:noNamespaceSchemaLocation="http://ant.apache.org/ivy/schemas/ivy.xsd">
<info organisation="org.sosy_lab" module="javasmt">
<license name="The Apache Software License, Version 2.0" url="http://www.apache.org/licenses/LICENSE-2.0.txt"/>
<description homepage="https://github.com/sosy-lab/java-smt">
Java wrapper for Z3, MathSAT5, SMTInterpol, Princess SMT solvers.
</description>
</info>
<configurations>
<!-- All dependencies that are only needed during build. -->
<conf name="build" visibility="private" description="for developing and testing"/>
<!-- The minimal dependencies, without any solver. -->
<conf name="core" visibility="private" description="minimal configuration, no solver included"/>
<!-- The normal dependencies with only one solver included. -->
<conf name="runtime-mathsat" extends="core" description="only one solver included"/>
<conf name="runtime-optimathsat" extends="core" description="only one solver included"/>
<conf name="runtime-smtinterpol" extends="core" description="only one solver included"/>
<conf name="runtime-princess" extends="core" description="only one solver included"/>
<conf name="runtime-z3" extends="core" description="only one solver included"/>
<!-- The normal dependencies with all solvers included. -->
<conf name="runtime" extends="runtime-mathsat,runtime-optimathsat,runtime-smtinterpol,runtime-princess,runtime-z3" description="all solvers included"/>
<!-- Dependencies needed for building or running tests. -->
<conf name="test" visibility="private" description="for developing and testing"/>
<!-- Dependencies needed for running source-code auto-formatter. -->
<conf name="format-source" visibility="private" description="for developing and testing"/>
<!-- Dependencies needed for running CheckStyle. -->
<conf name="checkstyle" visibility="private" description="for developing and testing"/>
<!-- Dependencies needed for running FindBugs. -->
<conf name="findbugs" visibility="private" description="for developing and testing"/>
<!-- Additional files like JavaDocs or source code that will help developers.
These are not downloaded by default, but only when "ant install-contrib" is called. -->
<conf name="contrib" visibility="private"/>
<!-- Configuration for publishing sources -->
<conf name="sources" description="sources of JavaSMT" />
<conf name="sources-all" extends="sources,contrib" description="sources of JavaSMT and its dependencies" />
</configurations>
<publications defaultconf="core">
<artifact />
<artifact conf="sources" e:classifier="sources" type="source" ext="jar"/>
</publications>
<dependencies>
<!-- SoSy-Lab Common Library -->
<dependency org="org.sosy_lab" name="common" rev="0.3000-93-g8187ae7" conf="core->runtime; contrib->sources"/>
<!-- Google Core Libraries for Java
Contains a lot of helpful data structures. -->
<dependency org="com.google.guava" name="guava" rev="19.0" conf="core->default; contrib->sources"/>
<!-- Guava-testlib contains many useful testing utilities -->
<dependency org="com.google.guava" name="guava-testlib" rev="19.0" conf="test->default; contrib->sources"/>
<!-- Dependency on Ivy itself so that we can ugprade it easily.
Change version number in build.xml for upgrading. -->
<dependency org="org.apache.ivy" name="ivy" rev="${ivy.target_version}" conf="build->default"/>
<!-- JUnit
Testing framework. -->
<dependency org="junit" name="junit" rev="4.12" conf="test->default"/>
<!-- JaCoCo
Library for code coverage -->
<dependency org="org.jacoco" name="org.jacoco.ant" rev="0.7.7.201606060606" conf="build->default"/>
<!-- The JUnit task for Ant so that we can run the tests.
The property used here is defined in build.xml according to the current Ant version. -->
<dependency org="org.apache.ant" name="ant-junit" rev="${ant.version.exact}" transitive="false" conf="build->default"/>
<!-- Truth
Library for writing literal assertions. -->
<dependency org="com.google.truth" name="truth" rev="0.30" conf="test->default; contrib->sources"/>
<dependency org="com.google.truth.extensions" name="truth-java8-extension" rev="0.30" conf="test->default; contrib->sources"/>
<!-- Google error-prone
Compiler adaptor with some useful checks for common errors. -->
<dependency org="com.google.errorprone" name="error_prone_ant" rev="2.0.12" transitive="false" conf="build->default" />
<dependency org="com.google.errorprone" name="error_prone_annotations" rev="2.0.12" conf="build->default; contrib->sources" />
<!-- Eclipse JDT Compiler
For additional compiler warnings. -->
<dependency org="org.eclipse.jdt.core.compiler" name="ecj" rev="4.5.2" conf="build->default"/>
<!-- google-java-format
A source-code formatter for Java -->
<dependency org="com.google.googlejavaformat" name="google-java-format" rev="1.0" conf="format-source->default"/>
<!-- Checkstyle -->
<dependency org="com.github.sevntu.checkstyle" name="sevntu-checks" rev="1.21.0" conf="checkstyle->default"/>
<!-- FindBugs -->
<dependency org="com.google.code.findbugs" name="findbugs" rev="3.0.1" conf="findbugs->default"/>
<dependency org="com.google.code.findbugs" name="annotations" rev="3.0.0" conf="build->default"/>
<!-- SmtInterpol -->
<dependency org="de.uni-freiburg.informatik.ultimate" name="smtinterpol" rev="2.1-327-g92cafef" conf="runtime-smtinterpol->master; contrib->sources"/>
<!-- Princess -->
<dependency org="org.ruemmer.philipp" name="princess" rev="2016-09-20-r2686" conf="runtime-princess->runtime; contrib->sources">
<artifact name="princess" e:classifier="assertionless" conf="runtime-princess"/>
<artifact name="princess" e:classifier="sources-assertionless" conf="contrib" ext="zip"/>
</dependency>
<!-- Solver Binaries -->
<dependency org="org.sosy_lab" name="javasmt-solver-z3" rev="z3-4.4.1-1698-ge8f4dd7" conf="runtime-z3->solver-z3" />
<dependency org="org.sosy_lab" name="javasmt-solver-mathsat" rev="5.3.13" conf="runtime-mathsat->solver-mathsat" />
<dependency org="org.sosy_lab" name="javasmt-solver-optimathsat" rev="1.4.0.10" conf="runtime-optimathsat->solver-optimathsat" />
<!-- Google Auto-Value
Library for auto-generating value types. -->
<dependency org="com.google.auto.value" name="auto-value" rev="1.3" conf="build->default"/>
<!-- Guava has a dependency on error_prone_annotations without a revision number, need an override. -->
<override org="com.google.errorprone" module="error_prone_annotations" rev="2.0.12"/>
</dependencies>
</ivy-module>