<?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.1</version>
			<scope>test</scope>
		</dependency>
		<dependency>
			<groupId>org.mockito</groupId>
			<artifactId>mockito-core</artifactId>
			<version>3.9.0</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>
						<phase>process-test-classes</phase>
						<goals>
							<goal>prepare-agent</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>