blob: af0522836ffb5d659f3a004c6f16e5ceb8db343a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
package frege.gradle.plugins
import frege.gradle.tasks.FregeDoc
import frege.gradle.tasks.FregeNativeGen
import frege.gradle.tasks.FregeQuickCheck
import frege.gradle.tasks.FregeRepl
import org.gradle.api.Plugin
import org.gradle.api.Project
class FregePlugin implements Plugin<Project> {
Project project
void apply(Project project) {
this.project = project
project.plugins.apply(FregeBasePlugin)
project.plugins.apply("java")
def replTask = project.task('fregeRepl', type: FregeRepl, group: 'Tools', dependsOn: 'compileFrege')
replTask.outputs.upToDateWhen { false } // always run, regardless of up to date checks
def checkTask = project.task('fregeQuickCheck', type: FregeQuickCheck, 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: FregeDoc, group: 'Documentation', dependsOn: 'compileFrege')
project.task('fregeNativeGen', type: FregeNativeGen, group: 'Tools')
}
}
|
