build.gradle 1.5 KB
Newer Older
Sarah Grebing's avatar
Sarah Grebing committed
1 2 3 4
plugins {
    id "com.github.voplex95.lesscompiler" version "1.0.3"
}

Alexander Weigl's avatar
Alexander Weigl committed
5 6 7 8 9 10 11 12
apply plugin: 'antlr'

description = 'ui'

generateGrammarSource {
    arguments += ["-long-messages", "-package","antlrgrammars"]
}

Sarah Grebing's avatar
Sarah Grebing committed
13 14 15 16 17 18 19 20
lessCompile {
    source = file('src/main/resources/edu/kit/iti/formal/psdbg/gui/debugger-ui.less')
    target = file('build/resources/main/edu/kit/iti/formal/psdbg/gui/')
    //compress = true
}

processResources.dependsOn lessCompile

Alexander Weigl's avatar
Alexander Weigl committed
21 22 23
dependencies {
    compile group: 'de.jensd', name: 'fontawesomefx-materialdesignfont', version: '1.7.22-4'
    compile group: 'de.jensd', name: 'fontawesomefx-commons', version: '8.15'
Alexander Weigl's avatar
Alexander Weigl committed
24 25
    compile group: 'org.fxmisc.richtext', name: 'richtextfx', version: '0.8.2'
    //compile group: 'org.fxmisc.richtext', name: 'richtextfx', version: '1.0.0-SNAPSHOT'
Alexander Weigl's avatar
Alexander Weigl committed
26 27 28 29 30 31 32 33 34 35
    compile group: 'org.controlsfx', name: 'controlsfx', version: '8.40.12'

    compile group: 'org.antlr', name: 'antlr4', version: '4.7'
    antlr group: 'org.antlr', name: 'antlr4', version: '4.7'

    compile project(':rt-key')
    compile project(':matcher')
    compile project(':DockFX')
    compile project(':lint')
}
Sarah Grebing's avatar
Sarah Grebing committed
36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53

def mainClassName = 'edu.kit.iti.formal.psdbg.gui.ProofScriptDebugger'

task runApp(type: JavaExec) {
    classpath = sourceSets.main.runtimeClasspath
    main = mainClassName
}


task distJar(type: Jar) {
    manifest {
        attributes 'Main-Class': mainClassName
    }
    classifier="exe"
    from { configurations.compile.collect { it.isDirectory() ? it : zipTree(it) } }
    with jar
}
distJar.dependsOn jar