build.gradle 1.84 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
dependencies {
alexander.weigl's avatar
alexander.weigl committed
22 23 24
    compile group: 'de.jensd', name: 'fontawesomefx-materialdesignfont', version: '2.0.26-9.1.2'
    compile group: 'de.jensd', name: 'fontawesomefx-commons', version: '9.1.2'
    compile group: 'org.fxmisc.richtext', name: 'richtextfx', version: '0.9.0'
Alexander Weigl's avatar
Alexander Weigl committed
25
    //compile group: 'org.fxmisc.richtext', name: 'richtextfx', version: '1.0.0-SNAPSHOT'
alexander.weigl's avatar
alexander.weigl committed
26
    compile group: 'org.controlsfx', name: 'controlsfx', version: '9.0.0'
Alexander Weigl's avatar
Alexander Weigl committed
27 28 29 30 31 32 33 34

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

    compile project(':rt-key')
    compile project(':DockFX')
    compile project(':lint')
}
Sarah Grebing's avatar
Sarah Grebing committed
35 36 37 38

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

task runApp(type: JavaExec) {
alexander.weigl's avatar
alexander.weigl committed
39 40 41 42 43 44 45

    /*applicationDefaultJvmArgs = [
            // For accessing VirtualFlow field from the base class in GridViewSkin
            "--add-opens=javafx.controls/javafx.scene.control.skin=ALL-UNNAMED",
            // For accessing InputMap used in RangeSliderBehavior
            "--add-exports=javafx.controls/com.sun.javafx.scene.control.inputmap=ALL-UNNAMED"
    ]*/
Sarah Grebing's avatar
Sarah Grebing committed
46 47 48 49 50 51 52 53 54 55 56 57 58 59
    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