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>