Search Gradle plugins

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.

• #dafny
• #verification
• #building

gradle-release is a plugin for providing a Maven-like release process to project using Gradle.

• #release

A Gradle plugin that provides Maven-like dependency management functionality

• #dependency-management

A plugin simplifying the access to Nexus Maven repos

• #nexus
• #publishing
• #repositories

This plugin provides easy to use JNI support for gradle.

• #groovy
• #jni
• #utils
• #maven
• #frc
• #wpilib

The Gradle Plugin for converting the local jars into Gradle dependencies

• #jar
• #lib
• #maven
• #dependencies
• #ecplugin

Applies maven-publish as well as io.github.gradle-nexus.publish-plugin and configures them according to tutteli's publish conventions.

• #publish
• #kotlin

Configures sources and Javadoc (KDoc) jars for Kotlin JVM and MPP projects

• #kotlin
• #publish
• #javadoc
• #dokka
• #kdoc
• #github
• #maven

Pom file creation outside the context of uploading to a Maven repository

• #pom
• #pom-file

Publishing to Maven Central via the Publish Portal API

• #publishing