build.gradle

project.version = '1.0.3-SNAPSHOT';
project.group = 'de.hhu.stups'

apply plugin: 'java'
apply plugin: 'eclipse'
apply plugin: 'maven'
apply plugin: 'application'

repositories {
    mavenCentral()
    flatDir {
       dirs 'libs'
   }
}

configurations {
    sablecc
}

configurations {
    kodkod
}


sourceSets {
    main {
        java {
            srcDirs = ['build/temp','src/main/java']
        }
    }
}

sourceSets.test.runtimeClasspath += files(sourceSets.main.java.srcDirs)

dependencies {
    sablecc 'de.hhu.stups:sablecc:3.2.10'
    compile 'de.hhu.stups:prologlib:2.4.40'
    kodkod name: 'kodkod'
    compile 'org.ow2.sat4j:org.ow2.sat4j.core:2.3.5'
    testCompile 'junit:junit:4.8.2'
 }

task genParser(type:JavaExec) {
    doFirst{ file('build/temp').mkdirs() }
    inputs.dir new File('src/main/resources')
    outputs.dir new File('build/temp')
    main = 'org.sablecc.sablecc.SableCC'
    classpath = configurations.sablecc
    maxHeapSize = '1024m'
    args = ['-d','build/temp','src/main/resources/problem.grammar']
}

compileJava {
 dependsOn = ['genParser']
 compileClasspath += kodkod
}

test {
  doFirst {
    println "testing"
  }

}

mainClassName = 'de.stups.probkodkod.KodkodInteraction'

javadoc {
  failOnError= false
}