Use copied key to extract default jdkHome from host configuration

This commit is contained in:
Ilya Chernikov
2020-05-13 21:36:07 +02:00
parent 20bbcd5d5a
commit 255ad47406
3 changed files with 8 additions and 3 deletions
@@ -95,7 +95,11 @@ private fun Collection<File>.filterNewClasspath(known: Collection<ScriptDependen
@Suppress("DEPRECATION")
val JvmScriptCompilationConfigurationKeys.javaHome by PropertiesCollection.keyCopy(ScriptingHostConfiguration.jvm.javaHome)
val JvmScriptCompilationConfigurationKeys.jdkHome by PropertiesCollection.keyCopy(ScriptingHostConfiguration.jvm.jdkHome)
val JvmScriptCompilationConfigurationKeys.jdkHome
by PropertiesCollection.keyCopy(
ScriptingHostConfiguration.jvm.jdkHome,
getSourceProperties = { get(ScriptCompilationConfiguration.hostConfiguration) }
)
@Suppress("unused")
val ScriptCompilationConfigurationKeys.jvm