From 5376686a9d877cbf58abfab360dbb9eb8172e4af Mon Sep 17 00:00:00 2001 From: Sarah Grebing Date: Mon, 12 Feb 2018 08:24:56 +0100 Subject: [PATCH] build for cradle --- .idea/uiDesigner.xml | 124 ----------------------- gradle/wrapper/gradle-wrapper.properties | 4 +- gradlew | 0 keydeps/build.gradle | 9 +- ui/build.gradle | 30 ++++++ 5 files changed, 37 insertions(+), 130 deletions(-) delete mode 100644 .idea/uiDesigner.xml mode change 100644 => 100755 gradlew diff --git a/.idea/uiDesigner.xml b/.idea/uiDesigner.xml deleted file mode 100644 index e96534fb..00000000 --- a/.idea/uiDesigner.xml +++ /dev/null @@ -1,124 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - \ No newline at end of file diff --git a/gradle/wrapper/gradle-wrapper.properties b/gradle/wrapper/gradle-wrapper.properties index 4e07c7f9..b74babc6 100644 --- a/gradle/wrapper/gradle-wrapper.properties +++ b/gradle/wrapper/gradle-wrapper.properties @@ -1,6 +1,6 @@ -#Sat Jan 27 23:17:21 CET 2018 +#Fri Feb 09 15:16:51 CET 2018 distributionBase=GRADLE_USER_HOME distributionPath=wrapper/dists zipStoreBase=GRADLE_USER_HOME zipStorePath=wrapper/dists -distributionUrl=https\://services.gradle.org/distributions/gradle-4.0-bin.zip +distributionUrl=https\://services.gradle.org/distributions/gradle-4.0-all.zip diff --git a/gradlew b/gradlew old mode 100644 new mode 100755 diff --git a/keydeps/build.gradle b/keydeps/build.gradle index b11989a6..379bf562 100644 --- a/keydeps/build.gradle +++ b/keydeps/build.gradle @@ -1,11 +1,12 @@ description = '' dependencies { - compile group: 'key-project-psdbg', name: 'key.core', version:'2.7-SNAPSHOT' - compile group: 'key-project-psdbg', name: 'key.ui', version:'2.7-SNAPSHOT' - compile group: 'key-project-psdbg', name: 'key.util', version:'2.7-SNAPSHOT' + compile files('lib/components/key.core.jar') + compile files('lib/components/key.ui.jar') + compile files('lib/components/key.util.jar') + compile files('lib/libs/recoderKey.jar') + compile group: 'org.antlr', name: 'antlr', version:'3.5.2' compile group: 'antlr', name: 'antlr', version:'2.7.7' compile group: 'net.java.dev.javacc', name: 'javacc', version:'4.0' - compile group: 'key-project-psdbg', name: 'recoder', version:'2.7' } diff --git a/ui/build.gradle b/ui/build.gradle index fdb126d2..d0cb9d58 100644 --- a/ui/build.gradle +++ b/ui/build.gradle @@ -1,3 +1,7 @@ +plugins { + id "com.github.voplex95.lesscompiler" version "1.0.3" +} + apply plugin: 'antlr' description = 'ui' @@ -6,6 +10,14 @@ generateGrammarSource { arguments += ["-long-messages", "-package","antlrgrammars"] } +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 + dependencies { compile group: 'de.jensd', name: 'fontawesomefx-materialdesignfont', version: '1.7.22-4' compile group: 'de.jensd', name: 'fontawesomefx-commons', version: '8.15' @@ -20,3 +32,21 @@ dependencies { compile project(':DockFX') compile project(':lint') } + +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 \ No newline at end of file -- GitLab