Search Gradle plugins

org.dafny.dafny

Owner: Robin Salkeld

This plugin offers tight integration of the Dafny verification-aware programming language with Java: automatically verifying Dafny source code and compiling it to Java source code, which the Java plugin will then build together with any hand-written Java in the project. It also provides a robust approach to distributing and managing Dafny dependencies through Gradle-supported repositories such as Maven Central.

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

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

Version 0.1.0 (latest)

Created 11 May 2023.

This plugin offers tight integration of the Dafny verification-aware programming language with Java: automatically verifying Dafny source code and compiling it to Java source code, which the Java plugin will then build together with any hand-written Java in the project. It also provides a robust approach to distributing and managing Dafny dependencies through Gradle-supported repositories such as Maven Central.

Using the plugins DSL:

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

Using legacy plugin application:

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

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

Using the plugins DSL:

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

Using legacy plugin application:

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

apply plugin: "org.dafny.dafny"

Learn how to apply plugins to subprojects