build: Update Gradle and plugins, small cleanup to build scripts

This commit is contained in:
Jason Penilla 2021-06-14 05:33:09 -07:00 committed by Jason
parent 9692593095
commit fb48a3c8af
19 changed files with 245 additions and 189 deletions

View file

@ -0,0 +1,12 @@
import org.gradle.api.Project
import org.gradle.api.provider.Provider
// set by GitHub Actions
val Project.ci: Provider<Boolean>
get() = providers.environmentVariable("CI")
.forUseAtConfigurationTime()
.map { it.toBoolean() }
.orElse(false)
val Project.compileExamples: Boolean
get() = hasProperty("compile-examples")