https://gitlab.ow2.org/sat4j/sat4j.git
Raw File
Tip revision: 5080fed0937039c7da843df60eeff050c1f8fd0d authored by Daniel Le Berre on 01 March 2022, 22:08:31 UTC
call jacoco:report after deploy goal
Tip revision: 5080fed
pom.xml
<?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/maven-v4_0_0.xsd">
    <modelVersion>4.0.0</modelVersion>
    <parent>
        <groupId>org.ow2</groupId>
        <artifactId>ow2</artifactId>
        <version>1.5.1</version>
    </parent>
    <groupId>org.ow2.sat4j</groupId>
    <artifactId>org.ow2.sat4j.pom</artifactId>
    <packaging>pom</packaging>
    <version>3.0.0-SNAPSHOT</version>
    <name>SAT4J</name>
    <url>http://www.sat4j.org/</url>
    <description>
Sat4j is a full featured boolean reasoning library designed to bring state-of-the-art SAT technologies to the Java Virtual Machine.
  </description>
    <scm>
        <connection>scm:git:https://gitlab.ow2.org/sat4j/sat4j/</connection>
        <url>https://gitlab.ow2.org/sat4j/sat4j/</url>
        <developerConnection>scm:git:https://gitlab.ow2.org/sat4j/sat4j/</developerConnection>
    </scm>
    <licenses>
        <license>
            <name>Eclipse Public License 1.0</name>
            <url>http://www.eclipse.org/org/documents/epl-v10.php</url>
            <distribution>Manual</distribution>
        </license>
        <license>
            <name>GNU Lesser GPL 2.1</name>
            <url>http://www.gnu.org/licenses/old-licenses/lgpl-2.1.html</url>
            <distribution>manual</distribution>
        </license>
    </licenses>
    <organization>
        <name>Centre de Recherche en Informatique de Lens (CRIL)</name>
        <url>http://www.cril.univ-artois.fr/</url>
    </organization>
    <issueManagement>
        <system>OW2 Gitlab</system>
        <url>https://gitlab.ow2.org/sat4j/sat4j/issues</url>
    </issueManagement>
    <mailingLists>
        <mailingList>
            <name>Developer List</name>
            <subscribe>sat4j-dev-subscribe@ow2.org</subscribe>
            <unsubscribe>sat4j-dev-unsubscribe@ow2.org</unsubscribe>
            <post>sat4j-dev@ow2.org</post>
            <archive>http://mail-archive.ow2.org/sat4j-dev/index.html</archive>
        </mailingList>
        <mailingList>
            <name>Commits List</name>
            <subscribe>sat4j-commits-subscribe@ow2.org</subscribe>
            <unsubscribe>sat4j-commits-unsubscribe@ow2.org</unsubscribe>
            <post>sat4j-commits@ow2.org</post>
            <archive>http://mail-archive.ow2.org/sat4j-commits/index.html</archive>
        </mailingList>
    </mailingLists>
    <developers>
        <developer>
            <id>leberre</id>
            <name>Daniel Le Berre</name>
            <email>daniel.leberre@sat4j.org</email>
            <url>http://www.sat4j.org/</url>
            <organization>CRIL CNRS 8188</organization>
            <organizationUrl>http://www.cril.fr</organizationUrl>
            <roles>
                <role>architect</role>
                <role>developer</role>
            </roles>
            <timezone>+1</timezone>
        </developer>
    </developers>
    <properties>
        <!-- compiler params -->
        <javaSource>11</javaSource>
        <javaTarget>11</javaTarget>
        <testSource>11</testSource>
        <testTarget>11</testTarget>
        <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
        <!-- common distribution locations -->
        <siteRepositoryId />
        <siteRepositoryUrl />
        <maven.build.timestamp.format>yyyyMMdd</maven.build.timestamp.format>
        <sat4j.custom.version>${project.version}.v${maven.build.timestamp}</sat4j.custom.version>
        <next.eclipse.release.date>June, 2010</next.eclipse.release.date>
        <bundle-manifest>${project.build.directory}/META-INF/MANIFEST.MF</bundle-manifest>
        <sonar.java.source>${javaSource}</sonar.java.source>
    </properties>
    <pluginRepositories>
        <pluginRepository>
            <id>apache.snapshots</id>
            <url>http://repository.apache.org/snapshots/</url>
        </pluginRepository>
    </pluginRepositories>
    <modules>
        <module>org.sat4j.core</module>
        <module>org.sat4j.pb</module>
        <module>org.sat4j.maxsat</module>
        <module>org.sat4j.sat</module>
    </modules>

    <dependencies>
        <dependency>
            <groupId>junit</groupId>
            <artifactId>junit</artifactId>
            <version>4.13.2</version>
            <scope>test</scope>
        </dependency>
        <dependency>
            <groupId>org.mockito</groupId>
            <artifactId>mockito-core</artifactId>
            <version>4.3.1</version>
            <scope>test</scope>
        </dependency>
    </dependencies>

    <build>
        <defaultGoal>install</defaultGoal>
        <resources>
            <resource>
                <directory>src/main/resources</directory>
                <filtering>true</filtering>
            </resource>
        </resources>
        <extensions>
            <extension>
                <groupId>org.apache.maven.wagon</groupId>
                <artifactId>wagon-webdav</artifactId>
            </extension>
        </extensions>

        <plugins>
            <plugin>
                <groupId>org.apache.maven.plugins</groupId>
                <artifactId>maven-jar-plugin</artifactId>
                <version>2.3.1</version>
                <executions>
                    <execution>
                        <goals>
                            <goal>test-jar</goal>
                        </goals>
                    </execution>
                </executions>
                <configuration>
                    <archive>
                        <manifestFile>${bundle-manifest}</manifestFile>
                    </archive>
                </configuration>
            </plugin>
            <plugin>
                <groupId>org.apache.maven.plugins</groupId>
                <artifactId>maven-surefire-plugin</artifactId>
                <version>2.22.1</version>
                <configuration>
                    <forkCount>3</forkCount>
                    <reuseForks>true</reuseForks>
                    <enableAssertions>true</enableAssertions>
                    <includes>
                        <include>**/Bug*</include>
                        <include>**/*Test*</include>
                    </includes>
                    <excludes>
                        <exclude>**/AllTests*</exclude>
                        <exclude>**/XplainTests*</exclude>
                        <exclude>**/GoodOPBReaderTest*</exclude>
                        <exclude>**/Abstract*Test*</exclude>
                        <!-- those tests timeout -->
                        <exclude>**/CompetPBResMinHTMixedConstraintsObjectiveLearningTest*</exclude>
                        <exclude>**/CompetPBResHTMixedConstraintsObjectiveLearningTest*</exclude>
                        <exclude>**/MiniOPBLongClauseCardMinLearningTest*</exclude>
                        <exclude>**/PBCPMixedConstraintsCautiousTest*</exclude>
                        <exclude>**/MultiObjectiveDependencyHelperTest*</exclude>
                        <exclude>org.sat4j.pb.CardConstrFinderTest.class</exclude>
                    </excludes>
                    <systemProperties>
                        <property>
                            <name>test.prefix</name>
                            <value>${basedir}/src/test/testfiles/</value>
                        </property>
                        <property>
                            <name>test.pbprefix</name>
                            <value>${basedir}/src/test/testfiles/</value>
                        </property>
                    </systemProperties>
                </configuration>
            </plugin>
            <plugin>
                <artifactId>maven-compiler-plugin</artifactId>
                <version>3.8.1</version>
                <configuration>
                    <source>${javaSource}</source>
                    <target>${javaTarget}</target>
                    <testSource>${testSource}</testSource>
                    <testTarget>${testTarget}</testTarget>
                </configuration>
            </plugin>
            <plugin>
                <groupId>org.codehaus.mojo</groupId>
                <artifactId>cobertura-maven-plugin</artifactId>
                <version>2.4</version>
                <executions>
                    <execution>
                        <id>clean</id>
                        <goals>
                            <goal>clean</goal>
                        </goals>
                    </execution>
                </executions>
            </plugin>
            <plugin>
                <groupId>org.apache.maven.plugins</groupId>
                <artifactId>maven-javadoc-plugin</artifactId>
                <version>3.0.1</version>
                <configuration>
                    <source>${javaSource}</source>
                    <!-- <doclet>org.umlgraph.doclet.UmlGraphDoc</doclet> <docletArtifact> 
						<groupId>org.umlgraph</groupId> <artifactId>doclet</artifactId> <version>5.1</version> 
						</docletArtifact> -->
                    <additionalparam>-Xdoclint:none</additionalparam>
                    <additionalOptions>-Xdoclint:none</additionalOptions>
                    <additionalJOption>-Xdoclint:none</additionalJOption>
                    <useStandardDocletOptions>true</useStandardDocletOptions>
                </configuration>
                <executions>
                    <execution>
                        <id>attach-javadocs</id>
                        <goals>
                            <goal>jar</goal>
                        </goals>
                    </execution>
                </executions>
            </plugin>
            <plugin>
                <groupId>org.apache.maven.plugins</groupId>
                <artifactId>maven-source-plugin</artifactId>
                <version>2.1.2</version>
                <executions>
                    <execution>
                        <id>attach-sources</id>
                        <goals>
                            <goal>jar</goal>
                        </goals>
                    </execution>
                </executions>
            </plugin>
            <!-- <plugin> <artifactId>maven-pdf-plugin</artifactId> <version>1.0</version> 
				<executions> <execution> <id>site-pdf</id> <phase>site</phase> <goals> <goal>pdf</goal> 
				</goals> <configuration> <outputDirectory>${project.reporting.outputDirectory}</outputDirectory> 
				</configuration> </execution> </executions> </plugin> -->
            <plugin>
                <groupId>org.apache.maven.plugins</groupId>
                <artifactId>maven-release-plugin</artifactId>
                <configuration>
                    <tagBase>svn+ssh://leberre@svn.forge.objectweb.org/svnroot/sat4j/maven/tags</tagBase>
                </configuration>
            </plugin>
            <plugin>
                <groupId>org.apache.maven.plugins</groupId>
                <artifactId>maven-antrun-plugin</artifactId>
                <executions>
                    <execution>
                        <id>translate-qualifier</id>
                        <phase>generate-resources</phase>
                        <configuration>
                            <tasks>
                                <echo>Changing ${bundle-manifest}</echo>
                                <copy file="META-INF/MANIFEST.MF" tofile="${bundle-manifest}" overwrite="true" failonerror="false" />
                                <replace file="${bundle-manifest}" token="9.9.9.token" value="${sat4j.custom.version}"></replace>
                            </tasks>
                        </configuration>
                        <goals>
                            <goal>run</goal>
                        </goals>
                    </execution>
                </executions>
            </plugin>
            <plugin>
                <groupId>org.apache.maven.plugins</groupId>
                <artifactId>maven-site-plugin</artifactId>
                <version>3.0</version>
                <configuration></configuration>
            </plugin>
            <plugin>
                <groupId>org.jacoco</groupId>
                <artifactId>jacoco-maven-plugin</artifactId>
                <version>0.8.6</version>
                <executions>
                    <execution>
                        <id>prepare-agent</id>
                        <goals>
                            <goal>prepare-agent</goal>
                        </goals>
                    </execution>
                    <execution>
                        <id>report</id>
                        <goals>
                            <goal>report</goal>
                        </goals>
                    </execution>
                </executions>
            </plugin>
        </plugins>
        <pluginManagement>
            <plugins>
                <!--This plugin's configuration is used to store Eclipse m2e settings 
					only. It has no influence on the Maven build itself. -->
                <plugin>
                    <groupId>org.eclipse.m2e</groupId>
                    <artifactId>lifecycle-mapping</artifactId>
                    <version>1.0.0</version>
                    <configuration>
                        <lifecycleMappingMetadata>
                            <pluginExecutions>
                                <pluginExecution>
                                    <pluginExecutionFilter>
                                        <groupId>
											org.apache.maven.plugins
										</groupId>
                                        <artifactId>
											maven-antrun-plugin
										</artifactId>
                                        <versionRange>[1.3,)</versionRange>
                                        <goals>
                                            <goal>run</goal>
                                        </goals>
                                    </pluginExecutionFilter>
                                    <action>
                                        <ignore />
                                    </action>
                                </pluginExecution>
                            </pluginExecutions>
                        </lifecycleMappingMetadata>
                    </configuration>
                </plugin>
            </plugins>
        </pluginManagement>
    </build>
    <reporting>
        <plugins>
            <plugin>
                <groupId>org.jacoco</groupId>
                <artifactId>jacoco-maven-plugin</artifactId>
                <reportSets>
                    <reportSet>
                        <reports>
                            <!-- select non-aggregate reports -->
                            <report>report</report>
                        </reports>
                    </reportSet>
                </reportSets>
            </plugin>
            <plugin>
                <groupId>org.apache.maven.plugins</groupId>
                <artifactId>maven-project-info-reports-plugin</artifactId>
                <version>2.4</version>
                <reportSets>
                    <reportSet>
                        <reports>
                            <report>index</report>
                            <report>scm</report>
                            <report>license</report>
                            <report>issue-tracking</report>
                            <report>mailing-list</report>
                            <report>project-team</report>
                            <report>dependencies</report>
                        </reports>
                    </reportSet>
                </reportSets>
            </plugin>

            <plugin>
                <groupId>org.apache.maven.plugins</groupId>
                <artifactId>maven-surefire-report-plugin</artifactId>
                <version>2.7</version>
            </plugin>

            <plugin>
                <groupId>org.apache.maven.plugins</groupId>
                <artifactId>maven-jxr-plugin</artifactId>
                <version>2.2</version>
            </plugin>

            <plugin>
                <groupId>org.apache.maven.plugins</groupId>
                <artifactId>maven-pmd-plugin</artifactId>
                <version>2.5</version>
                <configuration>
                    <targetJdk>1.5</targetJdk>
                </configuration>
            </plugin>

            <plugin>
                <groupId>org.apache.maven.plugins</groupId>
                <artifactId>maven-checkstyle-plugin</artifactId>
                <version>2.6</version>
            </plugin>
            <plugin>
                <groupId>org.codehaus.mojo</groupId>
                <artifactId>findbugs-maven-plugin</artifactId>
                <version>2.3.1</version>
                <configuration>
                    <threshold>Low</threshold>
                    <onlyAnalyze>org.sat4j.-</onlyAnalyze>
                </configuration>
            </plugin>
            <plugin>
                <groupId>org.apache.maven.plugins</groupId>
                <artifactId>maven-javadoc-plugin</artifactId>
                <version>2.8</version>
                <configuration>
                    <groups>
                        <group>
                            <title>User level: stable public API</title>
                            <packages>org.sat4j:org.sat4j.*</packages>
                        </group>
                        <group>
                            <title>Developer level: internal API, subject to change</title>
                            <packages>org.sat4j.minisat.*:org.sat4j.reader.csp:org.sat4j.pb.*</packages>
                        </group>
                    </groups>

                </configuration>
            </plugin>

            <plugin>
                <groupId>org.codehaus.mojo</groupId>
                <artifactId>taglist-maven-plugin</artifactId>
                <version>2.4</version>
                <configuration>
                    <tags>
                        <tag>TODO</tag>
                        <tag>@todo</tag>
                        <tag>FIXME</tag>
                        <tag>DLB</tag>
                    </tags>
                </configuration>
            </plugin>
        </plugins>
    </reporting>
    <profiles>
        <profile>
            <id>release-sign-artifacts</id>
            <activation>
                <property>
                    <name>performRelease</name>
                    <value>true</value>
                </property>
            </activation>
            <build>
                <plugins>
                    <plugin>
                        <groupId>org.apache.maven.plugins</groupId>
                        <artifactId>maven-gpg-plugin</artifactId>
                        <version>1.0-alpha-4</version>
                        <executions>
                            <execution>
                                <id>sign-artifacts</id>
                                <phase>verify</phase>
                                <goals>
                                    <goal>sign</goal>
                                </goals>
                            </execution>
                        </executions>
                    </plugin>
                </plugins>
            </build>
        </profile>
    </profiles>
</project>
back to top