mirror of
https://github.com/jlengrand/kotlin.git
synced 2026-04-18 00:21:29 +00:00
Set jvm target for REPL from the context module
#KT-38454 fixed
This commit is contained in:
@@ -11,7 +11,10 @@ import com.intellij.openapi.module.Module
|
||||
import com.intellij.openapi.project.Project
|
||||
import com.intellij.openapi.vfs.VirtualFile
|
||||
import org.jetbrains.kotlin.KotlinIdeaReplBundle
|
||||
import org.jetbrains.kotlin.idea.project.TargetPlatformDetector
|
||||
import org.jetbrains.kotlin.idea.util.JavaParametersBuilder
|
||||
import org.jetbrains.kotlin.platform.jvm.JdkPlatform
|
||||
import org.jetbrains.kotlin.platform.subplatformsOfType
|
||||
import org.jetbrains.kotlin.utils.PathUtil
|
||||
import java.io.File
|
||||
import java.util.concurrent.ConcurrentHashMap
|
||||
@@ -67,6 +70,10 @@ class KotlinConsoleKeeper(val project: Project) {
|
||||
classPath.joinToString(File.pathSeparator)
|
||||
)
|
||||
}
|
||||
TargetPlatformDetector.getPlatform(module).subplatformsOfType<JdkPlatform>().firstOrNull()?.targetVersion?.let {
|
||||
javaParameters.programParametersList.add("-jvm-target")
|
||||
javaParameters.programParametersList.add(it.description)
|
||||
}
|
||||
}
|
||||
|
||||
return javaParameters.toCommandLine()
|
||||
|
||||
Reference in New Issue
Block a user