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

Sarah Grebing's avatar
Sarah Grebing committed
4 5
}

Alexander Weigl's avatar
Alexander Weigl committed
6
apply plugin: 'antlr'
Sarah Grebing's avatar
Sarah Grebing committed
7 8
apply plugin: 'application'

Alexander Weigl's avatar
Alexander Weigl committed
9 10 11 12 13 14 15

description = 'ui'

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

Sarah Grebing's avatar
Sarah Grebing committed
16 17 18 19 20 21 22 23
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
24
dependencies {
25 26 27 28 29
    compile group: 'de.jensd', name: 'fontawesomefx-materialdesignfont', version: '1.7.22-4'
    compile group: 'de.jensd', name: 'fontawesomefx-commons', version: '8.15'

//    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'
alexander.weigl's avatar
alexander.weigl committed
30
    compile group: 'org.fxmisc.richtext', name: 'richtextfx', version: '0.9.0'
Alexander Weigl's avatar
Alexander Weigl committed
31
    //compile group: 'org.fxmisc.richtext', name: 'richtextfx', version: '1.0.0-SNAPSHOT'
32
    compile group: 'org.controlsfx', name: 'controlsfx', version: '8.40.12'
Alexander Weigl's avatar
Alexander Weigl committed
33 34 35 36

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

Sarah Grebing's avatar
Sarah Grebing committed
37 38
    //compile files("$rootDir/DockFX/build/libs/DockFX.jar")

Alexander Weigl's avatar
Alexander Weigl committed
39 40 41 42
    compile project(':rt-key')
    compile project(':DockFX')
    compile project(':lint')
}
Sarah Grebing's avatar
Sarah Grebing committed
43

Sarah Grebing's avatar
Sarah Grebing committed
44
mainClassName = 'edu.kit.iti.formal.psdbg.gui.ProofScriptDebugger'
Sarah Grebing's avatar
Sarah Grebing committed
45 46

task runApp(type: JavaExec) {
47
    standardInput = System.in
48
    jvmArgs << '-Dsun.awt.disablegrab=true' << '-Dglass.disableGrab=true'
alexander.weigl's avatar
alexander.weigl committed
49 50 51 52 53 54
    /*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
55 56 57 58 59 60
    classpath = sourceSets.main.runtimeClasspath
    main = mainClassName
}


task distJar(type: Jar) {
Sarah Grebing's avatar
Sarah Grebing committed
61

Sarah Grebing's avatar
Sarah Grebing committed
62 63 64 65 66 67 68
    manifest {
        attributes 'Main-Class': mainClassName
    }
    classifier="exe"
    from { configurations.compile.collect { it.isDirectory() ? it : zipTree(it) } }
    with jar
}
Sarah Grebing's avatar
Sarah Grebing committed
69 70 71 72 73 74 75 76 77 78
distJar.dependsOn jar

task customFatJar(type: Jar) {
    manifest {
        attributes 'Main-Class': 'edu.kit.iti.formal.psdbg.gui.ProofScriptDebugger'
    }
    baseName = 'all-in-one-jar'
    from { configurations.compile.collect { it.isDirectory() ? it : zipTree(it) } }
    with jar
}
79
customFatJar.dependsOn jar