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
|
package frege.gradle
import org.gradle.api.Plugin
import org.gradle.api.Project
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.apply(plugin: 'base')
def e = (FregePluginExtension) project.extensions.create("frege", FregePluginExtension)
project.task('compileFrege', type: FregeTask, group: 'Build') << {
}
project.tasks.classes.dependsOn("compileFrege")
def replTask = project.task('fregeRepl', type: FregeReplTask, group: 'Tools', dependsOn: 'classes')
replTask.outputs.upToDateWhen { false } // always run, regardless of up to date checks
def checkTask = project.task('quickCheck', type: FregeQuickCheckTask, group: 'Tools', dependsOn: 'classes')
checkTask.outputs.upToDateWhen { false } // always run, regardless of up to date checks
project.task('fregeNativeGen', type: NativeGenTask)
}
}
|
