搜索Gradle插件

org.dafny.dafny

所有者： Robin Salkeld

此插件提供了将Dafny验证感知编程语言与Java紧密结合的功能：自动验证Dafny源代码并编译成Java源代码，然后Java插件将构建这些源代码以及项目中任何手动编写的Java代码。它还提供了一个强大的方法来通过Gradle支持的存储库（如Maven Central）分发和管理Dafny依赖项。

https://github.com/dafny-lang/dafny-gradle-plugin

来源： https://github.com/dafny-lang/dafny-gradle-plugin

版本 0.1.0（最新版）

0.1.0

创建于 2023年5月11日。

此插件提供了将Dafny验证感知编程语言与Java紧密结合的功能：自动验证Dafny源代码并编译成Java源代码，然后Java插件将构建这些源代码以及项目中任何手动编写的Java代码。它还提供了一个强大的方法来通过Gradle支持的存储库（如Maven Central）分发和管理Dafny依赖项。

使用 plugins DSL

plugins {
  id("org.dafny.dafny") version "0.1.0"
}

使用 旧版插件应用程序

buildscript {
  repositories {
    maven {
      url = uri("https://plugins.gradle.org.cn/m2/")
    }
  }
  dependencies {
    classpath("org.dafny:dafny-gradle-plugin:0.1.0")
  }
}

apply(plugin = "org.dafny.dafny")

使用 plugins DSL

plugins {
  id "org.dafny.dafny" version "0.1.0"
}

使用 旧版插件应用程序

buildscript {
  repositories {
    maven {
      url "https://plugins.gradle.org.cn/m2/"
    }
  }
  dependencies {
    classpath "org.dafny:dafny-gradle-plugin:0.1.0"
  }
}

apply plugin: "org.dafny.dafny"

学习如何将插件应用于子项目