evee-lethe-proof-extractor
Used in:
components
- OverviewOverview
- VersionsVersions
- DependentsDependents
- DependenciesDependencies
<dependency>
<groupId>io.github.de-tu-dresden-inf-lat</groupId>
<artifactId>evee-lethe-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-lethe-proof-extractor</artifactId>
<version>0.6</version>
<name>evee-lethe-proof-extractor</name>
<licenses>
<license>
<name>MIT License</name>
<url>http://www.opensource.org/licenses/mit-license.php</url>
</license>
</licenses>
<dependencies>
<dependency>
<groupId>org.junit.jupiter</groupId>
<artifactId>junit-jupiter-engine</artifactId>
<version>5.8.2</version>
</dependency>
<dependency>
<groupId>net.sourceforge.owlapi</groupId>
<artifactId>owlapi-distribution</artifactId>
<version>${owl5version}</version>
</dependency>
<dependency>
<groupId>net.sourceforge.owlapi</groupId>
<artifactId>org.semanticweb.hermit</artifactId>
<version>1.4.3.517</version>
</dependency>
<dependency>
<groupId>io.github.de-tu-dresden-inf-lat</groupId>
<artifactId>lethe-owlapi5</artifactId>
<version>${LETHE.Version}</version>
</dependency>
<dependency>
<groupId>io.github.de-tu-dresden-inf-lat</groupId>
<artifactId>evee-data</artifactId>
<version>${project.version}</version>
</dependency>
</dependencies>
<build>
<plugins>
<plugin>
<artifactId>maven-surefire-plugin</artifactId>
<version>3.0.0-M6</version>
<configuration>
<skipTests>${skipTests}</skipTests>
</configuration>
</plugin>
<plugin>
<artifactId>maven-jar-plugin</artifactId>
<version>3.2.2</version>
<executions>
<execution>
<id>create-test-resources-jar</id>
<phase>package</phase>
<goals>
<goal>jar</goal>
</goals>
<configuration>
<classesDirectory>${project.basedir}/src/test/resources</classesDirectory>
<classifier>test-resources</classifier>
</configuration>
</execution>
</executions>
</plugin>
<plugin>
<artifactId>maven-assembly-plugin</artifactId>
<version>3.3.0</version>
<executions>
<execution>
<id>make-assembly</id>
<phase>package</phase>
</execution>
</executions>
<configuration>
<archive>
<manifest>
<mainClass>de.tu_dresden.inf.lat.proofs.data.ProofGeneratorMain</mainClass>
</manifest>
</archive>
<descriptorRefs>
<descriptorRef>jar-with-dependencies</descriptorRef>
</descriptorRefs>
</configuration>
</plugin>
</plugins>
</build>
</project>