plugins {
  war
  id("org.gretty") version "4.0.1"
  id("org.jetbrains.kotlin.jvm") version "1.6.10" // Kotlin も使う場合
}

gretty {
  // httpPort = 8081         // port を変更する場合はコメントアウト
  contextPath = "/MyServlet" // contextPath を変更する場合は変更
}

repositories {
  mavenCentral()
}

tasks.withType<JavaCompile> {
  options.encoding = "UTF-8"
}

dependencies {
  providedCompile(group = "jakarta.servlet", name =  "jakarta.servlet-api", version = "5.0.0")
}