pom.xml 7.76 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 53 54

    <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>
    </properties>

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


67
    <build>
Alexander Weigl's avatar
Alexander Weigl committed
68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87
        <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>

88
        <plugins>
Alexander Weigl's avatar
Alexander Weigl committed
89
            <!--
Alexander Weigl's avatar
Alexander Weigl committed
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
            <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
131
            -->
Alexander Weigl's avatar
Alexander Weigl committed
132

Alexander Weigl's avatar
Alexander Weigl committed
133

134 135 136 137 138 139 140 141
            <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
142

143
            <plugin>
Alexander Weigl's avatar
Alexander Weigl committed
144 145
                <artifactId>maven-compiler-plugin</artifactId>
                <version>3.6.2</version>
146
                <configuration>
Alexander Weigl's avatar
Alexander Weigl committed
147 148 149 150 151
                    <source>1.8</source>
                    <target>1.8</target>
                    <fork>true</fork>
                    <showWarnings>true</showWarnings>
                    <useIncrementalCompilation>false</useIncrementalCompilation>
152 153 154 155 156 157 158 159 160 161 162 163
                </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
164

165 166 167 168 169 170
        <dependency>
            <groupId>org.projectlombok</groupId>
            <artifactId>lombok</artifactId>
            <version>1.16.16</version>
            <scope>provided</scope>
        </dependency>
Alexander Weigl's avatar
Alexander Weigl committed
171

172 173 174 175 176 177
        <!-- https://mvnrepository.com/artifact/commons-cli/commons-cli -->
        <dependency>
            <groupId>commons-cli</groupId>
            <artifactId>commons-cli</artifactId>
            <version>1.4</version>
        </dependency>
178 179 180 181 182
        <dependency>
            <groupId>com.google.guava</groupId>
            <artifactId>guava</artifactId>
            <version>22.0</version>
        </dependency>
183

184 185 186 187 188 189 190 191 192 193 194 195
        <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
196 197 198 199 200 201 202 203 204 205 206 207
        <dependency>
            <groupId>org.apache.logging.log4j</groupId>
            <artifactId>log4j-api</artifactId>
            <version>2.8</version>
        </dependency>

        <dependency>
            <groupId>org.apache.logging.log4j</groupId>
            <artifactId>log4j-core</artifactId>
            <version>2.8</version>
        </dependency>

208
    </dependencies>
Alexander Weigl's avatar
Alexander Weigl committed
209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241

    <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
242
</project>