pom.xml 8.38 KB
Newer Older
Alexander Weigl's avatar
Alexander Weigl committed
1
2
<?xml version="1.0" encoding="UTF-8"?>
<project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
3
4
5
         xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
    <modelVersion>4.0.0</modelVersion>

Alexander Weigl's avatar
Alexander Weigl committed
6
7
8
9
    <groupId>edu.kit.iti.formal.psdbg</groupId>
    <artifactId>psdbg</artifactId>
    <version>0.1-SNAPSHOT</version>
    <packaging>pom</packaging>
10

11
12
13
14
    <name>ProofScriptParser</name>
    <description>
        A parser and AST for the proof script language.
    </description>
Alexander Weigl's avatar
Alexander Weigl committed
15

16
17
18
19
20
    <url>https://git.scc.kit.edu/sarah.grebing/ProofScriptParser</url>

    <developers>
        <developer>
            <name>Sarah Grebing</name>
Sarah Grebing's avatar
Interim    
Sarah Grebing committed
21
            <email>sarah.grebing@kit.edu</email>
22
            <organization>Karlsruhe Institute of Technology</organization>
23
24
25
26
27
        </developer>

        <developer>
            <name>Alexander Weigl</name>
            <email>weigl@kit.edu</email>
28
            <organization>Karlsruhe Institute of Technology</organization>
29
30
31
32
33
34
35
        </developer>
    </developers>

    <scm>
    </scm>


36
37
    <organization>
        <name>Application-oriented Formal Verification</name>
Alexander Weigl's avatar
Alexander Weigl committed
38
        <url>https://formal.iti.kit.edu</url>
39
40
    </organization>

41
    <inceptionYear>2017</inceptionYear>
42
43
44
45
46
47

    <licenses>
        <license>
            <name>gpl_v3</name>
        </license>
    </licenses>
48
49
50
51
52

    <properties>
        <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
        <maven.compiler.target>1.8</maven.compiler.target>
        <maven.compiler.source>1.8</maven.compiler.source>
Sarah Grebing's avatar
Sarah Grebing committed
53
        <skipTests>true</skipTests>
54
55
    </properties>

Alexander Weigl's avatar
Alexander Weigl committed
56
57
58
59
60
    <modules>
        <module>lang</module>
        <module>rt</module>
        <module>rt-key</module>
        <module>ui</module>
Sarah Grebing's avatar
Sarah Grebing committed
61
        <module>DockFX</module>
Alexander Weigl's avatar
Alexander Weigl committed
62
63
64
65
66
        <module>lint</module>
        <module>keydeps</module>
        <module>matcher</module>
    </modules>

Alexander Weigl's avatar
Alexander Weigl committed
67
    <distributionManagement>
Alexander Weigl's avatar
Alexander Weigl committed
68
69
70
71
72
        <repository>
            <id>bwcloud-ssh</id>
            <url>scp://141.52.38.245:/var/www/html/psdbg/</url>
        </repository>

Alexander Weigl's avatar
Alexander Weigl committed
73
        <snapshotRepository>
Alexander Weigl's avatar
Alexander Weigl committed
74
75
            <id>bwcloud-ssh</id>
            <url>scp://141.52.38.245:/var/www/html/psdbg-devel/</url>
Alexander Weigl's avatar
Alexander Weigl committed
76
77
78
        </snapshotRepository>
    </distributionManagement>

Alexander Weigl's avatar
Alexander Weigl committed
79

Alexander Weigl's avatar
Alexander Weigl committed
80
81


82
    <build>
Alexander Weigl's avatar
Alexander Weigl committed
83
84
85
        <extensions>
            <extension>
                <groupId>org.apache.maven.wagon</groupId>
Alexander Weigl's avatar
Alexander Weigl committed
86
87
                <artifactId>wagon-ssh</artifactId>
                <version>2.12</version>
Alexander Weigl's avatar
Alexander Weigl committed
88
89
90
            </extension>
        </extensions>

Alexander Weigl's avatar
Alexander Weigl committed
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
        <pluginManagement>
            <plugins>
                <plugin>
                    <groupId>org.apache.maven.plugins</groupId>
                    <artifactId>maven-checkstyle-plugin</artifactId>
                    <version>2.17</version>
                    <dependencies>
                        <dependency>
                            <groupId>com.puppycrawl.tools</groupId>
                            <artifactId>checkstyle</artifactId>
                            <version>7.6.1</version>
                        </dependency>
                    </dependencies>
                    <configuration>
                        <configLocation>.checkstyle_rules.xml</configLocation>
                    </configuration>
                </plugin>
            </plugins>
        </pluginManagement>

111
        <plugins>
Alexander Weigl's avatar
Alexander Weigl committed
112
            <!--
Alexander Weigl's avatar
Alexander Weigl committed
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
            <plugin>
                <groupId>org.codehaus.mojo</groupId>
                <artifactId>build-helper-maven-plugin</artifactId>
                <version>1.7</version>
                <executions>
                    <execution>
                        <id>released-version</id>
                        <goals>
                            <goal>released-version</goal>
                        </goals>
                    </execution>

                    <execution>
                        <id>add-source</id>
                        <phase>generate-sources</phase>
                        <goals>
                            <goal>add-source</goal>
                        </goals>
                        <configuration>
                            <sources>
                                <source>lib/DockFX/src/main/java</source>
                            </sources>
                        </configuration>
                    </execution>

                    <execution>
                        <id>add-resource</id>
                        <phase>generate-resources</phase>
                        <goals>
                            <goal>add-resource</goal>
                        </goals>
                        <configuration>
                            <resources>
                                <resource>
                                    <directory>lib/DockFX/src/main/resources</directory>
                                </resource>
                            </resources>
                        </configuration>
                    </execution>
                </executions>
            </plugin>
Alexander Weigl's avatar
Alexander Weigl committed
154
            -->
Alexander Weigl's avatar
Alexander Weigl committed
155

Alexander Weigl's avatar
Alexander Weigl committed
156

157
158
159
160
161
162
163
164
            <plugin>
                <groupId>org.codehaus.mojo</groupId>
                <artifactId>license-maven-plugin</artifactId>
                <version>1.12</version>
                <configuration>
                    <licenseName>gpl_v3</licenseName>
                </configuration>
            </plugin>
Alexander Weigl's avatar
Alexander Weigl committed
165

166
            <plugin>
Alexander Weigl's avatar
Alexander Weigl committed
167
168
                <artifactId>maven-compiler-plugin</artifactId>
                <version>3.6.2</version>
169
                <configuration>
Alexander Weigl's avatar
Alexander Weigl committed
170
171
172
173
174
                    <source>1.8</source>
                    <target>1.8</target>
                    <fork>true</fork>
                    <showWarnings>true</showWarnings>
                    <useIncrementalCompilation>false</useIncrementalCompilation>
175
176
177
178
179
180
181
182
183
184
185
186
                </configuration>
            </plugin>
        </plugins>
    </build>

    <dependencies>
        <dependency>
            <groupId>junit</groupId>
            <artifactId>junit</artifactId>
            <version>4.12</version>
            <scope>test</scope>
        </dependency>
Alexander Weigl's avatar
Alexander Weigl committed
187

188
189
190
191
192
193
        <dependency>
            <groupId>org.projectlombok</groupId>
            <artifactId>lombok</artifactId>
            <version>1.16.16</version>
            <scope>provided</scope>
        </dependency>
Alexander Weigl's avatar
Alexander Weigl committed
194

195
196
197
198
199
200
        <!-- https://mvnrepository.com/artifact/commons-cli/commons-cli -->
        <dependency>
            <groupId>commons-cli</groupId>
            <artifactId>commons-cli</artifactId>
            <version>1.4</version>
        </dependency>
201
202
203
204
205
        <dependency>
            <groupId>com.google.guava</groupId>
            <artifactId>guava</artifactId>
            <version>22.0</version>
        </dependency>
206

207
208
209
210
211
212
213
214
215
216
217
218
        <dependency>
            <groupId>commons-io</groupId>
            <artifactId>commons-io</artifactId>
            <version>2.5</version>
        </dependency>

        <dependency>
            <groupId>commons-lang</groupId>
            <artifactId>commons-lang</artifactId>
            <version>2.6</version>
        </dependency>

Alexander Weigl's avatar
Alexander Weigl committed
219
220
221
        <dependency>
            <groupId>org.apache.logging.log4j</groupId>
            <artifactId>log4j-api</artifactId>
Sarah Grebing's avatar
Sarah Grebing committed
222
            <version>2.6</version>
Alexander Weigl's avatar
Alexander Weigl committed
223
224
225
226
227
        </dependency>

        <dependency>
            <groupId>org.apache.logging.log4j</groupId>
            <artifactId>log4j-core</artifactId>
Sarah Grebing's avatar
Sarah Grebing committed
228
            <version>2.6</version>
Alexander Weigl's avatar
Alexander Weigl committed
229
230
        </dependency>

231
    </dependencies>
Alexander Weigl's avatar
Alexander Weigl committed
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264

    <reporting>
        <plugins>
            <plugin>
                <groupId>org.apache.maven.plugins</groupId>
                <artifactId>maven-jxr-plugin</artifactId>
                <version>2.5</version>
            </plugin>

            <plugin>
                <groupId>org.apache.maven.plugins</groupId>
                <artifactId>maven-checkstyle-plugin</artifactId>
                <version>2.17</version>
                <reportSets>
                    <reportSet>
                        <reports>
                            <report>checkstyle</report>
                        </reports>
                    </reportSet>
                </reportSets>
            </plugin>
            <plugin>
                <groupId>org.codehaus.mojo</groupId>
                <artifactId>findbugs-maven-plugin</artifactId>
                <version>3.0.4</version>
            </plugin>
            <plugin>
                <groupId>org.codehaus.mojo</groupId>
                <artifactId>jdepend-maven-plugin</artifactId>
                <version>2.0</version>
            </plugin>
        </plugins>
    </reporting>
Alexander Weigl's avatar
Alexander Weigl committed
265
</project>