其他用户在Kotlin问题跟踪器中发布了解决方案：

tasks.withType(org.jetbrains.kotlin.gradle.tasks.KotlinCompile).all {
    destinationDir = new File(buildDir, "work/program")
}

(add您的“build.gradle”文件中的此片段）

稍后更新

对于Gradle 7.x，Groovy语法为：

compileKotlin {
    destinationDirectory = file("work/program")
}

compileTestKotlin {
    destinationDirectory = file("work/proof")
}

如果您使用Kotlin语法，它会稍长一些：

import org.jetbrains.kotlin.gradle.tasks.KotlinCompile

val compileKotlin: KotlinCompile by tasks
compileKotlin.destinationDirectory.set(file("work/program"))
val compileTestKotlin: KotlinCompile by tasks
compileTestKotlin.destinationDirectory.set(file("work/proof"))

请注意，您的IDE可能仍然会在不同的目录中编译类。要使Intellij Idea使用与Gradle相同的输出目录，请添加这些：

pulgins {
    idea
}

tasks {
    idea {
        module {
            outputDir = file("work/program")
            testOutputDir = file("work/proof")
        }
    }
}