Gradle plugin for compiling Frege projects
Groovy Java Shell
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
gradle
src
.gitignore
.travis.yml
LICENSE
README.adoc
build.gradle
deploy.sh
gradle.properties
gradlew
gradlew.bat
todo.txt

README.adoc

Frege Gradle Plugin

This is the official Gradle plugin to compile Frege projects (https://github.com/Frege/frege). See the example project (https://github.com/mperry/frege-gradle-example) for examples on the usage of this plugin.

Plugin Application

The gradle plugin portal page for Frege documents how to apply the Frege plugin (https://plugins.gradle.org/plugin/org.frege-lang).

For applying the plugin in all Gradle versions use:

buildscript {
  repositories {
    maven {
      url "https://plugins.gradle.org/m2/"
    }
  }
  dependencies {
    classpath "gradle.plugin.org.frege-lang:frege-gradle-plugin:0.8"
  }
}

apply plugin: "org.frege-lang"

To apply the plugin using the new incubating, plugin mechanism (since Gradle 2.1), add:

plugins {
  id "org.frege-lang" version "0.8"
}

Tasks

This plugin creates the following tasks:

  • fregeRepl

  • fregeQuickCheck

  • fregeDoc

  • fregeNativeGen

  • compileFrege

  • compileTestFrege

The plugin adds dependencies so that using the build task is typically all that is required to invoke the compileFrege and compileTestFrege tasks. These task dependencies include:

  • classes → compileFrege → compileJava

  • testClasses → compileTestFrege → compileTestJava

  • test → fregeQuickCheck → testClasses

Task Help

TODO: Add options and descriptions for each task above.

Continuous Integration

The Travis CI build of this repository is at https://travis-ci.org/Frege/frege-gradle-plugin.

Snapshots

Snapshot releases are available from the Sonatype repository at https://oss.sonatype.org/content/groups/public/org/frege-lang.