Description

<dependency>
    <groupId>io.github.de-tu-dresden-inf-lat</groupId>
    <artifactId>evee-nemo-proof-extractor</artifactId>
    <version>0.6</version>
</dependency>

<?xml version="1.0" encoding="UTF-8"?>
<project xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 https://maven.apache.org/xsd/maven-4.0.0.xsd" xmlns="http://maven.apache.org/POM/4.0.0"
    xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
  <modelVersion>4.0.0</modelVersion>
  <parent>
    <groupId>io.github.de-tu-dresden-inf-lat</groupId>
    <artifactId>evee</artifactId>
    <version>0.6</version>
  </parent>
  <groupId>io.github.de-tu-dresden-inf-lat</groupId>
  <artifactId>evee-nemo-proof-extractor</artifactId>
  <version>0.6</version>
  <name>evee-nemo-proof-extractor</name>
  <licenses>
    <license>
      <name>MIT License</name>
      <url>http://www.opensource.org/licenses/mit-license.php</url>
    </license>
  </licenses>
  <properties>
    <maven.compiler.target>11</maven.compiler.target>
    <maven.compiler.source>11</maven.compiler.source>
    <skipTests>true</skipTests>
  </properties>
  <dependencies>
    <dependency>
      <groupId>io.github.de-tu-dresden-inf-lat</groupId>
      <artifactId>evee-data</artifactId>
      <version>${project.version}</version>
    </dependency>
    <dependency>
      <groupId>log4j</groupId>
      <artifactId>log4j</artifactId>
      <version>1.2.17</version>
    </dependency>
  </dependencies>
  <build>
    <resources>
      <resource>
        <directory>src/main/resources</directory>
      </resource>
    </resources>
    <plugins>
      <plugin>
        <artifactId>maven-surefire-plugin</artifactId>
        <version>3.0.0-M6</version>
        <configuration>
          <skipTests>${skipTests}</skipTests>
        </configuration>
      </plugin>
      <plugin>
        <artifactId>maven-assembly-plugin</artifactId>
        <configuration>
          <descriptorRefs>
            <descriptorRef>jar-with-dependencies</descriptorRef>
          </descriptorRefs>
          <finalName>NemoProofExtractor</finalName>
          <appendAssemblyId>false</appendAssemblyId>
        </configuration>
      </plugin>
    </plugins>
  </build>
</project>