build.gradle 1019 Bytes
Newer Older
Florian Lugou's avatar
Florian Lugou committed
1 2 3 4 5 6
apply plugin: 'application'

// This defines the source sets for this subproject
sourceSets {
    main {
        java {
7
            srcDir "${rootProject.absPath}/src/main/java"
Florian Lugou's avatar
Florian Lugou committed
8 9 10 11 12
        }
    }
}

dependencies {
13 14 15
    compileOnly name: 'opencloud'
    compileOnly name: 'JavaPlot'
    compileOnly name: 'derbynet'
16 17 18
    compile name: 'commons-codec-1.10'
    compile name: 'commons-io-2.5-javadoc'
    compile name: 'commons-io-2.5'
Florian Lugou's avatar
Florian Lugou committed
19
    compileOnly name: 'jsoup-1.8.1'
20
    compileOnly name: 'gs-core-1.3'
Ludovic Apvrille's avatar
Ludovic Apvrille committed
21 22 23 24 25
    compileOnly name:'batik-awt-util'
    compileOnly name:'batik-svggen'
    compileOnly name:'batik-xml'
    compileOnly name:'batik-dom'
    compileOnly name:'batik-util'
Ludovic Apvrille's avatar
Ludovic Apvrille committed
26
    compile name: 'commons-math3-3.6.1'
27
    compile name: 'jautomata-core'
28
    compile name: 'com.microsoft.z3'
apvrille's avatar
apvrille committed
29
    compileOnly name: 'jna-3.3.0'
Florian Lugou's avatar
Florian Lugou committed
30 31 32 33 34 35 36 37 38 39 40 41
}

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

mainClassName = 'TMLTranslator'