diff options
| author | Goooler <wangzongler@gmail.com> | 2023-02-14 21:42:37 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-02-14 07:42:37 -0600 |
| commit | 03b9818520b3ea85af252815a798093c5b84a64f (patch) | |
| tree | b113a540da27366fc667cf738729ff0fb12afda8 | |
| parent | ae08b7b71eea94c08318d8fc32f17c99ea52f13d (diff) | |
| download | compiler-explorer-gh-6304.tar.gz compiler-explorer-gh-6304.zip | |
Add Kotlin 1.8.10 (#4741)gh-6304
Follow up #4548.
https://github.com/JetBrains/kotlin/releases/tag/v1.8.10
| -rw-r--r-- | etc/config/kotlin.amazon.properties | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/etc/config/kotlin.amazon.properties b/etc/config/kotlin.amazon.properties index 3e4d8a836..e253fc1d4 100644 --- a/etc/config/kotlin.amazon.properties +++ b/etc/config/kotlin.amazon.properties @@ -3,7 +3,7 @@ compilerType=kotlin versionFlag=-version objdumper=/opt/compiler-explorer/jdk-18.0.0/bin/javap instructionSet=java -defaultCompiler=kotlinc1800 +defaultCompiler=kotlinc1810 demangler= postProcess= options= @@ -12,7 +12,7 @@ needsMulti=false supportsExecute=true interpreted=true -group.kotlin.compilers=kotlinc1400:kotlinc1410:kotlinc1420:kotlinc1421:kotlinc1430:kotlinc1431:kotlinc1432:kotlinc1500:kotlinc1510:kotlinc1520:kotlinc1521:kotlinc1530:kotlinc1531:kotlinc1600:kotlinc1610:kotlinc1620:kotlinc1700:kotlinc1800 +group.kotlin.compilers=kotlinc1400:kotlinc1410:kotlinc1420:kotlinc1421:kotlinc1430:kotlinc1431:kotlinc1432:kotlinc1500:kotlinc1510:kotlinc1520:kotlinc1521:kotlinc1530:kotlinc1531:kotlinc1600:kotlinc1610:kotlinc1620:kotlinc1700:kotlinc1800:kotlinc1810 group.kotlin.groupName=Kotlin group.kotlin.baseName=kotlinc group.kotlin.isSemVer=true @@ -91,3 +91,7 @@ compiler.kotlinc1800.exe=/opt/compiler-explorer/kotlin-jvm-1.8.0/bin/kotlinc-jvm compiler.kotlinc1800.semver=1.8.0 compiler.kotlinc1800.java_home=/opt/compiler-explorer/jdk-18.0.0 compiler.kotlinc1800.runtime=/opt/compiler-explorer/jdk-18.0.0/bin/java +compiler.kotlinc1810.exe=/opt/compiler-explorer/kotlin-jvm-1.8.10/bin/kotlinc-jvm +compiler.kotlinc1810.semver=1.8.10 +compiler.kotlinc1810.java_home=/opt/compiler-explorer/jdk-18.0.0 +compiler.kotlinc1810.runtime=/opt/compiler-explorer/jdk-18.0.0/bin/java |