aboutsummaryrefslogtreecommitdiff
path: root/src/main/groovy/frege/gradle/FregePlugin.groovy
diff options
context:
space:
mode:
Diffstat (limited to 'src/main/groovy/frege/gradle/FregePlugin.groovy')
-rw-r--r--src/main/groovy/frege/gradle/FregePlugin.groovy46
1 files changed, 0 insertions, 46 deletions
diff --git a/src/main/groovy/frege/gradle/FregePlugin.groovy b/src/main/groovy/frege/gradle/FregePlugin.groovy
deleted file mode 100644
index 29be393..0000000
--- a/src/main/groovy/frege/gradle/FregePlugin.groovy
+++ /dev/null
@@ -1,46 +0,0 @@
-package frege.gradle
-
-import groovy.transform.TypeChecked
-import org.gradle.api.Plugin
-import org.gradle.api.Project
-import fj.data.Option
-import org.gradle.api.plugins.JavaPlugin
-
-//@TypeChecked
-class FregePlugin implements Plugin<Project> {
-
- void apply(Project project) {
- // Workaround to build proper jars on Windows, see https://github.com/Frege/frege-gradle-plugin/issues/9
- System.setProperty("file.encoding", "UTF-8")
-
- project.plugins.apply(JavaPlugin)
- def e = (FregePluginExtension) project.extensions.create("frege", FregePluginExtension)
-
- project.task('compileFrege', type: CompileTask, group: 'Build', dependsOn: "compileJava") {
- module = CompileTask.deduceSourceDir(project).absolutePath
- }
- project.tasks.classes.dependsOn("compileFrege")
-
- project.task('compileTestFrege', type: CompileTask, group: 'Build', dependsOn: "compileTestJava") {
- module = CompileTask.deduceTestSourceDir(project).absolutePath
- outputDir = CompileTask.deduceTestClassesDir(project)
- fregePaths = Option.fromNull(CompileTask.deduceClassesDir(project))
- .map{d -> [d]}.orSome([])
- }
- project.tasks.testClasses.dependsOn("compileTestFrege")
-
- def replTask = project.task('fregeRepl', type: ReplTask, group: 'Tools', dependsOn: 'compileFrege')
- replTask.outputs.upToDateWhen { false } // always run, regardless of up to date checks
-
- def checkTask = project.task('fregeQuickCheck', type: QuickCheckTask, group: 'Verification', dependsOn: 'testClasses')
- checkTask.outputs.upToDateWhen { false } // always run, regardless of up to date checks
-
- project.tasks.test.dependsOn("fregeQuickCheck")
-
- project.task('fregeDoc', type: DocTask, group: 'Documentation', dependsOn: 'compileFrege')
-
- project.task('fregeNativeGen', type: NativeGenTask, group: 'Tools')
-
- }
-
-}