JAL-3210 create a site.tar.gz. Some improvement to eclipse-workspace handling

[jalview.git] / gradle.properties

diff --git a/gradle.properties b/gradle.properties
index 3bc9e0a..1fa2f14 100644 (file)
--- a/gradle.properties
+++ b/gradle.properties
@@ -1,7 +1,7 @@
 jalviewDir = .
 
-JAVA_VERSION = 1.8
-#JAVA_VERSION = 11
+#JAVA_VERSION = 1.8
+JAVA_VERSION = 11
 JALVIEW_VERSION = DEVELOPMENT
 INSTALLATION = Source
 
@@ -34,8 +34,8 @@ j11libDir = j11lib
 
 dev = false
 
-jalviewjs_eclipse_root = /Users/bsoares/buildtools/eclipse/eclipse-jee-2019-06/Eclipse.app
-#jalviewjs_eclipse_root = /home/bsoares/buildtools/eclipse/eclipse-jee-2019-06
+#jalviewjs_eclipse_root = /Users/bsoares/buildtools/eclipse/eclipse-jee-2019-06/Eclipse.app
+jalviewjs_eclipse_root = /home/bsoares/buildtools/eclipse/eclipse-jee-2019-06
 
 jalviewjs_utils_dir = utils/jalviewjs
 jalviewjs_eclipse_plugins_dir = eclipse/plugins
@@ -48,7 +48,7 @@ jalviewjs_site_dir = site
 jalviewjs_j2s_subdir = swingjs/j2s
 jalviewjs_j2s_settings_file = dot_j2s
 jalviewjs_j2s_settings = .j2s
-jalviewjs_eclipse_workspace = /tmp/eclipse-workspace
+jalviewjs_eclipse_workspace = ../tmp/eclipse-workspace
 jalviewjs_eclipseBuildArg = build
 #jalviewjs_eclipseBuildArg = cleanBuild