pom.xml 6.41 KB
Newer Older
Alexander Weigl's avatar
Alexander Weigl committed
1 2 3 4 5 6 7
<?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"
         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>
    <parent>
        <groupId>edu.kit.iti.formal.psdbg</groupId>
        <artifactId>psdbg</artifactId>
Alexander Weigl's avatar
Alexander Weigl committed
8
        <version>1.0-FM</version>
Alexander Weigl's avatar
Alexander Weigl committed
9 10 11 12 13 14 15
        <relativePath>..</relativePath>
    </parent>

    <artifactId>ui</artifactId>
    <packaging>jar</packaging>


16
    <name>ui</name>
Alexander Weigl's avatar
Alexander Weigl committed
17 18 19 20 21 22 23 24 25 26 27 28 29 30 31


    <dependencies>
        <dependency>
            <groupId>de.jensd</groupId>
            <artifactId>fontawesomefx-materialdesignfont</artifactId>
            <version>1.7.22-4</version>
        </dependency>

        <dependency>
            <groupId>de.jensd</groupId>
            <artifactId>fontawesomefx-commons</artifactId>
            <version>8.15</version>
        </dependency>

Alexander Weigl's avatar
Alexander Weigl committed
32
        <!--stable version
Alexander Weigl's avatar
Alexander Weigl committed
33 34 35
        <dependency>
            <groupId>org.fxmisc.richtext</groupId>
            <artifactId>richtextfx</artifactId>
36
            <version>0.8.1</version>
Alexander Weigl's avatar
Alexander Weigl committed
37
        </dependency>
Alexander Weigl's avatar
Alexander Weigl committed
38 39 40 41 42 43
        -->
        <dependency>
            <groupId>org.fxmisc.richtext</groupId>
            <artifactId>richtextfx</artifactId>
            <version>1.0.0-SNAPSHOT</version>
        </dependency>
Alexander Weigl's avatar
Alexander Weigl committed
44 45 46 47 48 49 50 51 52 53

        <!-- https://mvnrepository.com/artifact/org.controlsfx/controlsfx -->
        <dependency>
            <groupId>org.controlsfx</groupId>
            <artifactId>controlsfx</artifactId>
            <version>8.40.12</version>
        </dependency>
        <dependency>
            <groupId>edu.kit.iti.formal.psdbg</groupId>
            <artifactId>rt-key</artifactId>
Alexander Weigl's avatar
Alexander Weigl committed
54
            <version>1.0-FM</version>
Alexander Weigl's avatar
Alexander Weigl committed
55 56 57 58
        </dependency>
        <dependency>
            <groupId>edu.kit.iti.formal.psdbg</groupId>
            <artifactId>matcher</artifactId>
Alexander Weigl's avatar
Alexander Weigl committed
59
            <version>1.0-FM</version>
Alexander Weigl's avatar
Alexander Weigl committed
60 61 62 63 64 65 66 67 68
        </dependency>
        <dependency>
            <groupId>org.dockfx</groupId>
            <artifactId>DockFX</artifactId>
            <version>0.1.12</version>
        </dependency>
        <dependency>
            <groupId>edu.kit.iti.formal.psdbg</groupId>
            <artifactId>lint</artifactId>
Alexander Weigl's avatar
Alexander Weigl committed
69
            <version>1.0-FM</version>
Alexander Weigl's avatar
Alexander Weigl committed
70 71 72 73 74
        </dependency>
    </dependencies>

    <build>
        <plugins>
Alexander Weigl's avatar
Alexander Weigl committed
75
            <plugin>
76 77
                <groupId>org.apache.maven.plugins</groupId>
                <artifactId>maven-assembly-plugin</artifactId>
Alexander Weigl's avatar
Alexander Weigl committed
78
                <configuration>
79 80 81 82 83
                    <descriptorRefs>
                        <descriptorRef>jar-with-dependencies</descriptorRef>
                    </descriptorRefs>
                    <archive>
                        <manifest>
Alexander Weigl's avatar
Alexander Weigl committed
84
                            <mainClass>edu.kit.iti.formal.psdbg.gui.ProofScriptDebugger</mainClass>
85 86
                        </manifest>
                    </archive>
Alexander Weigl's avatar
Alexander Weigl committed
87 88 89 90
                </configuration>
                <executions>
                    <execution>
                        <phase>package</phase>
91 92 93
                        <goals>
                            <goal>single</goal>
                        </goals>
Alexander Weigl's avatar
Alexander Weigl committed
94 95 96
                    </execution>
                </executions>
            </plugin>
97
            <!--HIER EVTL. PLUGIN HIN-->
Alexander Weigl's avatar
Alexander Weigl committed
98 99


Alexander Weigl's avatar
Alexander Weigl committed
100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117
            <plugin>
                <groupId>org.lesscss</groupId>
                <artifactId>lesscss-maven-plugin</artifactId>
                <version>1.7.0.1.1</version>
                <executions>
                    <execution>
                        <phase>generate-resources</phase>
                        <goals>
                            <goal>compile</goal>
                        </goals>
                        <configuration>
                            <outputDirectory>${project.build.outputDirectory}</outputDirectory>
                            <sourceDirectory>${project.build.sourceDirectory}/../resources</sourceDirectory>
                            <compress>false</compress>
                        </configuration>
                    </execution>
                </executions>
            </plugin>
Alexander Weigl's avatar
Alexander Weigl committed
118

Alexander Weigl's avatar
Alexander Weigl committed
119

Alexander Weigl's avatar
Alexander Weigl committed
120
            <!--
Alexander Weigl's avatar
Alexander Weigl committed
121 122 123 124 125 126 127 128 129 130 131 132 133
            <plugin>
                <groupId>org.apache.maven.plugins</groupId>
                <artifactId>maven-shade-plugin</artifactId>
                <version>2.4.3</version>
                <configuration>
                </configuration>
                <executions>
                    <execution>
                        <phase>package</phase>
                        <goals>
                            <goal>shade</goal>
                        </goals>
                        <configuration>
134
                            <minimizeJar>false</minimizeJar>
Alexander Weigl's avatar
Alexander Weigl committed
135 136 137 138 139
                            <finalName>${project.name}-${project.version}-exe</finalName>
                            <transformers>
                                <transformer
                                        implementation="org.apache.maven.plugins.shade.resource.ManifestResourceTransformer">
                                    <mainClass>
140
                                        edu.kit.iti.formal.psdbg.gui.ProofScriptDebugger
Alexander Weigl's avatar
Alexander Weigl committed
141 142 143 144 145 146 147
                                    </mainClass>
                                </transformer>
                            </transformers>
                        </configuration>
                    </execution>
                </executions>
            </plugin>
Alexander Weigl's avatar
Alexander Weigl committed
148
    -->
Alexander Weigl's avatar
Alexander Weigl committed
149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177
            <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>

    <!-- for icons -->
    <repositories>
        <repository>
            <snapshots>
                <enabled>false</enabled>
            </snapshots>
            <id>bintray-jerady-maven</id>
            <name>bintray</name>
            <url>http://dl.bintray.com/jerady/maven</url>
        </repository>
Alexander Weigl's avatar
Alexander Weigl committed
178 179 180 181
        <repository>
            <id>sonatype</id>
            <url>https://oss.sonatype.org/content/repositories/snapshots/</url>
        </repository>
Alexander Weigl's avatar
Alexander Weigl committed
182 183 184 185
    </repositories>


</project>