build.gradle 1.17 KB
Newer Older
1
2

apply plugin: 'java'
3
apply plugin: 'application'
4
5
6
7
8
9
10

sourceCompatibility = 1.8

repositories {
    mavenCentral()
}

11
12
13
14
15
16
17
18
19
20
jar {
    manifest {
        attributes "Main-Class": 'de.tudresden.inf.st.mquat.solving.genetic.GeneticMain'
    }

    from {
        configurations.compile.collect { it.isDirectory() ? it : zipTree(it) }
    }
}

21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
dependencies {
    compile group: 'org.apache.logging.log4j', name: 'log4j-api', version: '2.10.0'
    compile group: 'org.apache.logging.log4j', name: 'log4j-core', version: '2.10.0'
    compile project(':jastadd-mquat-base')
    compile project(':jastadd-mquat-solver')
    testCompile group: 'junit', name: 'junit', version: '4.12'
    testCompile project(path: ':jastadd-mquat-solver', configuration: 'testArtifacts')

    compile group: 'org.opt4j', name: 'opt4j-core', version: '3.1.4'
    compile group: 'org.opt4j', name: 'opt4j-optimizers', version: '3.1.4'
    compile group: 'org.opt4j', name: 'opt4j-operators', version: '3.1.4'
    compile group: 'org.opt4j', name: 'opt4j-satdecoding', version: '3.1.4'
    compile group: 'org.opt4j', name: 'opt4j-viewer', version: '3.1.4'
    compile group: 'org.opt4j', name: 'opt4j-benchmarks', version: '3.1.4'
}