pom.xml 2.73 KB
Newer Older
1
<project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
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
         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>

    <groupId>edu.kit.formal</groupId>
    <artifactId>ScriptParser</artifactId>
    <version>1.0-SNAPSHOT</version>
    <packaging>jar</packaging>

    <name>ScriptParser</name>
    <url>https://git.scc.kit.edu/sarah.grebing/ProofScriptParser</url>

    <developers>
        <developer>
            <name>Sarah Grebing</name>
            <organization>Karlruhe Institute of Technology</organization>
        </developer>

        <developer>
            <name>Alexander Weigl</name>
            <email>weigl@kit.edu</email>
            <organization>Karlruhe Institute of Technology</organization>
        </developer>
    </developers>

    <scm>
    </scm>


30 31 32 33 34 35 36 37 38 39 40 41 42
    <organization>
        <name>Application-oriented Formal Verification</name>
        <url>http://formal.iti.kit.edu</url>
    </organization>
    <inceptionYear>2017</inceptionYear>



    <licenses>
        <license>
            <name>gpl_v3</name>
        </license>
    </licenses>
43 44 45 46 47 48 49 50 51

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

    <build>
        <plugins>
52 53 54 55 56 57 58 59
            <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
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
            <plugin>
                <groupId>org.antlr</groupId>
                <artifactId>antlr4-maven-plugin</artifactId>
                <version>4.7</version>
                <executions>
                    <execution>
                        <id>antlr</id>
                        <goals>
                            <goal>antlr4</goal>
                        </goals>
                    </execution>
                </executions>
                <configuration>
                    <visitor>true</visitor>
                </configuration>
            </plugin>
        </plugins>
    </build>

    <dependencies>
        <dependency>
            <groupId>junit</groupId>
            <artifactId>junit</artifactId>
            <version>4.12</version>
            <scope>test</scope>
        </dependency>
        <dependency>
            <groupId>org.antlr</groupId>
            <artifactId>antlr4</artifactId>
            <version>4.7</version>
        </dependency>
    </dependencies>
93
</project>