Frege Gradle Plugin

Frege Gradle plugin

License	BSD 3-clause license
Categories	Gradle Build Tools
GroupId	org.frege-lang
ArtifactId	frege-gradle-plugin
Last Version	0.4.1
Release Date	Jul 24, 2015
Type	jar
Description	Frege Gradle Plugin Frege Gradle plugin
Project URL	https://github.com/Frege/frege-gradle-plugin
Project Organization	Frege Gradle Plugin

Download frege-gradle-plugin

Filename	Size
frege-gradle-plugin-0.4.1.pom
frege-gradle-plugin-0.4.1.jar	34 KB
frege-gradle-plugin-0.4.1-sources.jar	4 KB
frege-gradle-plugin-0.4.1-javadoc.jar	261 bytes

How to add to project

Apache Maven

<!-- https://jarcasting.com/artifacts/org.frege-lang/frege-gradle-plugin/ -->
<dependency>
    <groupId>org.frege-lang</groupId>
    <artifactId>frege-gradle-plugin</artifactId>
    <version>0.4.1</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/org.frege-lang/frege-gradle-plugin/
implementation 'org.frege-lang:frege-gradle-plugin:0.4.1'

Gradle Kotlin

// https://jarcasting.com/artifacts/org.frege-lang/frege-gradle-plugin/
implementation ("org.frege-lang:frege-gradle-plugin:0.4.1")

Apache Buildr

'org.frege-lang:frege-gradle-plugin:jar:0.4.1'

Apache Ivy

<dependency org="org.frege-lang" name="frege-gradle-plugin" rev="0.4.1">
  <artifact name="frege-gradle-plugin" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='org.frege-lang', module='frege-gradle-plugin', version='0.4.1')
)

Scala SBT

libraryDependencies += "org.frege-lang" % "frege-gradle-plugin" % "0.4.1"

Leiningen

[org.frege-lang/frege-gradle-plugin "0.4.1"]

Dependencies

compile (3)

Group / Artifact	Type	Version
org.frege-lang : frege	jar	3.22.367-g2737683
org.frege-lang : frege-native-gen	jar	1.3
org.frege-lang : frege-repl-core	jar	1.2

Project Modules

There are no modules declared in this project.

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.

This plugin is an alternative to using Gradle’s JavaEx task to start the Frege tools. Those who prefer the latter might want to have a look at (https://github.com/Dierk/HelloFrege)

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.

Example

See:

• Plugin application: https://plugins.gradle.org/plugin/org.frege-lang

• Plugin usage: https://github.com/mperry/frege-gradle-example

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.

Versions

Version
0.4.1 Jul 24, 2015
0.4 Jul 22, 2015
0.2 Mar 10, 2015
0.1 Mar 3, 2015