build.gradle

apply plugin: 'java'
apply plugin: 'eclipse'
apply plugin: 'maven'
apply plugin: 'jacoco'
apply plugin: 'findbugs'

project.version = '1.1.1-SNAPSHOT'
project.group = 'de.hhu.stups'
project.archivesBaseName = "tla2bAST"

project.sourceCompatibility = '1.7'
project.targetCompatibility = '1.7'


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

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

def parser_version
if (project.version.endsWith("-SNAPSHOT")) {
	parser_version = '2.9.13-SNAPSHOT'
}
else {
	parser_version = '2.9.12'
}

def tlatools_version = '1.0.2'

dependencies {

  compile (group: 'commons-cli', name: 'commons-cli', version: '1.4')
  compile (group: 'de.hhu.stups', name: 'tlatools', version: tlatools_version)
  compile (group: 'de.hhu.stups', name: 'prologlib', version: parser_version)
  compile (group: 'de.hhu.stups', name: 'parserbase', version: parser_version)
  compile (group: 'de.hhu.stups', name: 'bparser', version: parser_version)
  compile (group: 'de.hhu.stups', name: 'ltlparser', version: parser_version)

	testCompile (group: 'junit', name: 'junit', version: '4.12')
}

jacoco {
    toolVersion = "0.7.1.201405082137"
    reportsDir = file("$buildDir/customJacocoReportDir")
}

// type 'gradle tla2b jacocoIntegrationTestReport' in order to run the jacoco code coverage analysis
task jacocoIntegrationTestReport(type: JacocoReport) {
	sourceSets sourceSets.main
	//executionData files('build/jacoco/integrationTests.exec')
	executionData fileTree(project.rootDir.absolutePath).include("**/build/jacoco/*.exec")
 }

tasks.withType(FindBugs) {
	// disable findbugs by default
	// in order to run findbugs type 'gradle tlc4b findbugsMain findbugsTest'
	task -> enabled = gradle.startParameter.taskNames.contains(task.name)
    reports {
        xml.enabled = false