build.gradle

plugins {
	id 'java'
	id 'eclipse'
	id 'jacoco'
	id "maven-publish"
	id "signing"
	id "de.undercouch.download" version "5.6.0"
}

project.group = 'de.hhu.stups'
project.version = "1.2.2-SNAPSHOT"

final isSnapshot = project.version.endsWith("-SNAPSHOT")

repositories {
	mavenCentral()
	if (isSnapshot) {
		maven {
			name = "sonatype snapshots"
			url = "https://oss.sonatype.org/content/repositories/snapshots"
		}
	}
}

configurations.all {
	resolutionStrategy.cacheChangingModulesFor 0, 'seconds'
}

def parser_version = '2.15.0'

dependencies {
	//implementation(group: 'com.microsoft', name: 'tla2tools', version: '1.4.6')
	implementation(group: 'commons-cli', name: 'commons-cli', version: '1.9.0')
	implementation(group: 'de.hhu.stups', name: 'tlatools', version: '1.1.0')

	implementation(group: 'de.hhu.stups', name: 'bparser', version: parser_version)
	implementation(group: 'de.hhu.stups', name: 'ltlparser', version: parser_version)

	testImplementation(group: 'junit', name: 'junit', version: '4.13.2')
	testImplementation(group: 'de.hhu.stups', name: 'tla2bAST', version: '1.4.1')
}

java {
	sourceCompatibility = JavaVersion.VERSION_1_8
	
	withSourcesJar()
	withJavadocJar()
}

jacoco {
	toolVersion = "0.8.12"
}


jacocoTestReport {
	reports {
		xml.required = false
		csv.required = false
		html.outputLocation = layout.buildDirectory.dir('jacocoHtml')
	}
}


test {
	exclude('de/tlc4b/tlc/integration/probprivate')
	exclude('testing')
	//exclude('de/tlc4b/tlc/integration')
}

task downloadPublicExamples(type: Download) {