build.gradle

apply plugin: 'application'

// This defines the source sets for this subproject
sourceSets {
    main {
        java {
            srcDir "${rootProject.absPath}/src/main/java"
            resources {
                srcDir "${rootProject.absPath}/src/main/resources"
            }
        }
    }

    test {
        java {
            srcDir "${rootProject.absPath}/tests/util/fr.tpt.ttool.tests.util/src"
        }
    }
}

dependencies {
    compile name: 'opencloud'
    compile name: 'JavaPlot'
    compile name: 'derbynet'
    compile name: 'commons-codec-1.10'
    compile name: 'commons-math3-3.6.1'
    compile name: 'commons-io-2.5'
    compile name: 'jsoup-1.8.1'
    compile name: 'gs-core-2.0'
    compile name: 'gs-ui-swing-2.0'
    
    compile name: 'batik-codec'
    compile name: 'batik-constants'
    compile name: 'batik-xml'
    compile name: 'batik-extensions'
    compile name: 'batik-ext'
    compile name: 'batik-util' 
    compile name: 'batik-svggen'
    compile name: 'batik-dom'
    compile name: 'batik-awt-util'
    compile name: 'xml-apis'
    compile name: 'json-java'
    
    compile name: 'jautomata-core'
    compile name: 'com.microsoft.z3'
    compile name: 'assertj/assertj-swing/3.8.0/assertj-swing-3.8.0'
    compile name: 'assertj/assertj-swing/3.8.0/assertj-swing-3.8.0-sources'
    compile name: 'assertj/assertj-swing-junit/3.8.0/assertj-swing-junit-3.8.0'
    compile name: 'assertj/assertj-swing-junit/3.8.0/assertj-swing-junit-3.8.0-sources'
    compile name: 'jna-3.3.0'
    compile name: 'jgrapht-core-1.3.0'
    compile name: 'jgrapht-ext-1.3.0'
    compile name: 'jgrapht-io-1.3.0'
    compile name: 'jgraphx-3.4.1.3'
    compile name: 'jfreechart-1.6.0'


    // Use JUnit test framework
    testCompile 'junit:junit:4.12'
    testCompile group: 'org.hamcrest', name: 'hamcrest-core', version: '1.3'
    testCompile files('src/test/libs/fr.tpt.mem4csd.utils.compare_1.0.0.jar')
}

jar {
  manifest {
    attributes(
      'Class-Path': configurations.compile.collect { it.getName() }.join(' '),
      'Main-Class': 'Main'
    )
  }
}

mainClassName = 'Main'

test {
  testLogging.showStandardStreams = false
}