pom.xml 7.86 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 76 77 78 79 80 81 82 83 84 85 86 87 88 89 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

            <plugin>
                <groupId>org.codehaus.mojo</groupId>
                <artifactId>appassembler-maven-plugin</artifactId>
                <version>1.10</version>
                <configuration>
                    <repositoryLayout>flat</repositoryLayout>
                    <repositoryName>libs</repositoryName>
                    <binFolder>./</binFolder>
                    <!-- Set the target configuration directory to be used in the bin scripts -->
                    <configurationDirectory>conf</configurationDirectory>
                    <!-- Copy the contents from "/src/main/config" to the target
                         configuration directory in the assembled application -->
                    <copyConfigurationDirectory>true</copyConfigurationDirectory>
                    <!-- Include the target configuration directory in the beginning of
                         the classpath declaration in the bin scripts -->
                    <includeConfigurationDirectoryInClasspath>true</includeConfigurationDirectoryInClasspath>
                    <!-- set alternative assemble directory -->
                    <assembleDirectory>${project.build.directory}/dist</assembleDirectory>
                    <!-- Extra JVM arguments that will be included in the bin scripts -->
                    <extraJvmArguments>-Xms128m</extraJvmArguments>
                    <!-- Generate bin scripts for windows and unix pr default -->
                    <platforms>
                        <platform>windows</platform>
                        <platform>unix</platform>
                    </platforms>
                    <programs>
                        <program>
                            <mainClass>edu.kit.iti.formal.psdbg.gui.ProofScriptDebugger</mainClass>
                            <id>psdbg</id>
                            <!-- Only generate unix shell script for this application -->
                            <platforms>
                                <platform>unix</platform>
                                <platform>windows</platform>
                            </platforms>
                        </program>
                    </programs>
                </configuration>
                <executions>
                    <execution>
                        <phase>package</phase>
                    </execution>
                </executions>
            </plugin>


Alexander Weigl's avatar
Alexander Weigl committed
121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138
            <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
139

Alexander Weigl's avatar
Alexander Weigl committed
140

Alexander Weigl's avatar
Alexander Weigl committed
141
            <!--
Alexander Weigl's avatar
Alexander Weigl committed
142 143 144 145 146 147 148 149 150 151 152 153 154
            <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>
Sarah Grebing's avatar
Sarah Grebing committed
155
                            <minimizeJar>false</minimizeJar>
Alexander Weigl's avatar
Alexander Weigl committed
156 157 158 159 160
                            <finalName>${project.name}-${project.version}-exe</finalName>
                            <transformers>
                                <transformer
                                        implementation="org.apache.maven.plugins.shade.resource.ManifestResourceTransformer">
                                    <mainClass>
Sarah Grebing's avatar
Sarah Grebing committed
161
                                        edu.kit.iti.formal.psdbg.gui.ProofScriptDebugger
Alexander Weigl's avatar
Alexander Weigl committed
162 163 164 165 166 167 168
                                    </mainClass>
                                </transformer>
                            </transformers>
                        </configuration>
                    </execution>
                </executions>
            </plugin>
Alexander Weigl's avatar
Alexander Weigl committed
169
    -->
Alexander Weigl's avatar
Alexander Weigl committed
170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198
            <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
199 200 201 202
        <repository>
            <id>sonatype</id>
            <url>https://oss.sonatype.org/content/repositories/snapshots/</url>
        </repository>
Alexander Weigl's avatar
Alexander Weigl committed
203 204 205 206
    </repositories>


</project>