Description

<dependency>
    <groupId>org.overturetool.core.modelcheckers</groupId>
    <artifactId>probsolver</artifactId>
    <version>2.3.0</version>
</dependency>

<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.overturetool.core</groupId>
		<artifactId>modelcheckers</artifactId>
		<version>2.3.0</version>
		<relativePath>../pom.xml</relativePath>
	</parent>

	<groupId>org.overturetool.core.modelcheckers</groupId>
	<artifactId>probsolver</artifactId>
	<name>Integration of the ProB Solver for VDM</name>


	<repositories>
		<!--repository>
			<id>prob-cobra</id>
			<name>prob-cobra</name>
			<url>http://cobra.cs.uni-duesseldorf.de/artifactory/repo</url>
			</repository-->

		<repository>
        <id>prob.overture.au.dk</id>
        <name>prob.overture.au.dk-releases</name>
        <url>http://overture.au.dk/artifactory/prob</url>
    </repository>

	</repositories>

	<dependencies>
		<dependency>
			<groupId>org.overturetool.core</groupId>
			<artifactId>ast</artifactId>
			<version>${project.version}</version>
		</dependency>
		<dependency>
			<groupId>org.overturetool.core</groupId>
			<artifactId>typechecker</artifactId>
			<version>${project.version}</version>
		</dependency>

		<dependency>
			<groupId>junit</groupId>
			<artifactId>junit</artifactId>
			<version>4.11</version>
		</dependency>




	</dependencies>

	<build>
		<plugins>
			<plugin>
				<groupId>org.apache.maven.plugins</groupId>
				<artifactId>maven-surefire-plugin</artifactId>
				<configuration>
					<!-- the tests use std out a lot so we dont want that in the console -->
					<redirectTestOutputToFile>true</redirectTestOutputToFile>
					<includes>
						<include>**/*Test.java</include>
						<include>**/*Test?.java</include>
						<include>**/*TestSuite.java</include>
					</includes>
				</configuration>
			</plugin>
		</plugins>
	</build>

	<profiles>
		<profile>
			<id>prob-release</id>
			<activation>
				<activeByDefault>true</activeByDefault>
			</activation>

			<dependencies>
				<dependency>
					<groupId>de.prob</groupId>
					<artifactId>de.prob.core.kernel</artifactId>
					<version>2.0.0-milestone-13</version>
				</dependency>
			</dependencies>

		</profile>
		<profile>
			<id>prob-debug</id>

			<dependencies>
				<dependency>
					<groupId>de.prob</groupId>
					<artifactId>de.prob.core.kernel</artifactId>
					<version>2.0.0-milestone-13-SNAPSHOT</version>
				</dependency>
			</dependencies>
		</profile>
	</profiles>


</project>