diff options
| -rw-r--r-- | java/gradle.properties | 5 | ||||
| -rw-r--r-- | java/gradle/ice.gradle | 2 |
2 files changed, 6 insertions, 1 deletions
diff --git a/java/gradle.properties b/java/gradle.properties index d06566a45af..90623793aec 100644 --- a/java/gradle.properties +++ b/java/gradle.properties @@ -54,6 +54,11 @@ icegridguiProguard = true debug = true // +// Set the versions of the Ice Builder to use for thsi build +// +iceBuilderVersion = 1.3.7 + +// // Set the location of a local Ice Builder for Gradle source directory // iceBuilderHome = diff --git a/java/gradle/ice.gradle b/java/gradle/ice.gradle index 96493714c70..8e142f210b6 100644 --- a/java/gradle/ice.gradle +++ b/java/gradle/ice.gradle @@ -44,7 +44,7 @@ buildscript { } } dependencies { - classpath group: 'com.zeroc.gradle.ice-builder', name: 'slice', version: '1.3.6' + classpath group: 'com.zeroc.gradle.ice-builder', name: 'slice', version: "${iceBuilderVersion}" } } |