131 lines
No EOL
4.4 KiB
XML
131 lines
No EOL
4.4 KiB
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<project xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
|
|
xmlns="http://maven.apache.org/POM/4.0.0"
|
|
xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
|
|
<artifactId>z3-cli</artifactId>
|
|
|
|
<build>
|
|
<plugins>
|
|
<plugin>
|
|
<artifactId>quarkus-maven-plugin</artifactId>
|
|
<executions>
|
|
<execution>
|
|
<goals>
|
|
<goal>build</goal>
|
|
<goal>generate-code</goal>
|
|
<goal>generate-code-tests</goal>
|
|
<goal>native-image-agent</goal>
|
|
</goals>
|
|
</execution>
|
|
</executions>
|
|
<extensions>true</extensions>
|
|
<groupId>${quarkus.platform.group-id}</groupId>
|
|
<version>${quarkus.platform.version}</version>
|
|
</plugin>
|
|
<plugin>
|
|
<artifactId>maven-compiler-plugin</artifactId>
|
|
<configuration>
|
|
<compilerArgs>
|
|
<arg>-parameters</arg>
|
|
</compilerArgs>
|
|
</configuration>
|
|
<version>${maven-compiler-plugin.version}</version>
|
|
</plugin>
|
|
<plugin>
|
|
<artifactId>maven-surefire-plugin</artifactId>
|
|
<configuration>
|
|
<!-- FIX warnings about maybe mockito, maybe removed when bumping quarkus-->
|
|
<argLine>-XX:+EnableDynamicAgentLoading -Xshare:off</argLine>
|
|
<!-- To remove JBoss Log error on build and testing for all modules-->
|
|
<systemPropertyVariables>
|
|
<java.util.logging.manager>org.jboss.logmanager.LogManager</java.util.logging.manager>
|
|
<maven.home>${maven.home}</maven.home>
|
|
<quarkus.jacoco.data-file>${project.build.directory}/coverage-reports/jacoco.exec
|
|
</quarkus.jacoco.data-file>
|
|
<quarkus.jacoco.report-location>${project.build.directory}/coverage-jacoco
|
|
</quarkus.jacoco.report-location>
|
|
<quarkus.jacoco.reuse-data-file>true</quarkus.jacoco.reuse-data-file>
|
|
</systemPropertyVariables>
|
|
</configuration>
|
|
<version>${surefire-plugin.version}</version>
|
|
</plugin>
|
|
<plugin>
|
|
<artifactId>maven-failsafe-plugin</artifactId>
|
|
<configuration>
|
|
<systemPropertyVariables>
|
|
<java.util.logging.manager>org.jboss.logmanager.LogManager</java.util.logging.manager>
|
|
<maven.home>${maven.home}</maven.home>
|
|
<native.image.path>${project.build.directory}/${project.build.finalName}-runner
|
|
</native.image.path>
|
|
</systemPropertyVariables>
|
|
</configuration>
|
|
<executions>
|
|
<execution>
|
|
<goals>
|
|
<goal>integration-test</goal>
|
|
<goal>verify</goal>
|
|
</goals>
|
|
</execution>
|
|
</executions>
|
|
<version>${failsafe-plugin.version}</version>
|
|
</plugin>
|
|
</plugins>
|
|
</build>
|
|
|
|
<dependencies>
|
|
<dependency>
|
|
<artifactId>z3-domain</artifactId>
|
|
<groupId>tech.pegase.z3</groupId>
|
|
<version>${z3.version}</version>
|
|
</dependency>
|
|
<dependency>
|
|
<artifactId>z3-infrastructure</artifactId>
|
|
<groupId>tech.pegase.z3</groupId>
|
|
<version>${z3.version}</version>
|
|
</dependency>
|
|
<dependency>
|
|
<artifactId>z3-shared</artifactId>
|
|
<groupId>tech.pegase.z3</groupId>
|
|
<version>${z3.version}</version>
|
|
</dependency>
|
|
<dependency>
|
|
<artifactId>quarkus-flyway</artifactId>
|
|
<groupId>io.quarkus</groupId>
|
|
</dependency>
|
|
<dependency>
|
|
<artifactId>quarkus-junit5-mockito</artifactId>
|
|
<groupId>io.quarkus</groupId>
|
|
<scope>test</scope>
|
|
</dependency>
|
|
<dependency>
|
|
<artifactId>quarkus-jacoco</artifactId>
|
|
<groupId>io.quarkus</groupId>
|
|
<scope>test</scope>
|
|
</dependency>
|
|
<dependency>
|
|
<artifactId>quarkus-arc</artifactId>
|
|
<groupId>io.quarkus</groupId>
|
|
</dependency>
|
|
<dependency>
|
|
<artifactId>datafaker</artifactId>
|
|
<groupId>net.datafaker</groupId>
|
|
<version>${net-datafaker.version}</version>
|
|
</dependency>
|
|
</dependencies>
|
|
|
|
|
|
<modelVersion>4.0.0</modelVersion>
|
|
|
|
<parent>
|
|
<artifactId>z3</artifactId>
|
|
<groupId>tech.pegase.z3</groupId>
|
|
<version>1.1.0-SNAPSHOT</version>
|
|
</parent>
|
|
|
|
<properties>
|
|
<maven.compiler.source>22</maven.compiler.source>
|
|
<maven.compiler.target>22</maven.compiler.target>
|
|
<project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
|
|
</properties>
|
|
|
|
</project> |