aboutsummaryrefslogtreecommitdiff
path: root/src/main/groovy/frege
diff options
context:
space:
mode:
Diffstat (limited to 'src/main/groovy/frege')
-rw-r--r--src/main/groovy/frege/gradle/FregePlugin.groovy7
-rw-r--r--src/main/groovy/frege/gradle/FregeReplTask.groovy37
2 files changed, 41 insertions, 3 deletions
diff --git a/src/main/groovy/frege/gradle/FregePlugin.groovy b/src/main/groovy/frege/gradle/FregePlugin.groovy
index e2777ed..1ce9eaa 100644
--- a/src/main/groovy/frege/gradle/FregePlugin.groovy
+++ b/src/main/groovy/frege/gradle/FregePlugin.groovy
@@ -14,11 +14,12 @@ class FregePlugin implements Plugin<Project> {
}
project.tasks.classes.dependsOn("compileFrege")
- def oFR = project.task('openFregeRepl', type: FregeReplTask, group: 'Runtime', dependsOn: 'classes')
- oFR.outputs.upToDateWhen { false }
+ def replTask = project.task('fregeRepl', type: FregeReplTask, group: 'Tools', dependsOn: 'classes')
+ replTask.outputs.upToDateWhen { false } // always run, regardless of up to date checks
- project.task('fregeRepl', type: ReplTask)
+// project.task('fregeRepl', type: ReplTask) // we can now choose
+
project.task('fregeNativeGen', type: NativeGenTask)
}
diff --git a/src/main/groovy/frege/gradle/FregeReplTask.groovy b/src/main/groovy/frege/gradle/FregeReplTask.groovy
new file mode 100644
index 0000000..50d8026
--- /dev/null
+++ b/src/main/groovy/frege/gradle/FregeReplTask.groovy
@@ -0,0 +1,37 @@
+package frege.gradle
+
+import org.gradle.api.DefaultTask
+import org.gradle.api.internal.file.FileResolver
+import org.gradle.api.tasks.*
+import org.gradle.process.internal.DefaultJavaExecAction
+import org.gradle.process.internal.JavaExecAction
+
+import javax.management.relation.Relation
+
+class FregeReplTask extends DefaultTask {
+
+ static String DEFAULT_SRC_DIR = "src/main/frege" // TODO: should this come from a source set?
+
+ @Optional @InputDirectory
+ File sourceDir = new File(project.projectDir, DEFAULT_SRC_DIR)
+
+ @TaskAction
+ void openFregeRepl() {
+
+ if (! sourceDir.exists() ) {
+ def currentDir = new File('.')
+ logger.info "Intended source dir '${sourceDir.absolutePath}' doesn't exist. Using current dir '${currentDir.absolutePath}' ."
+ sourceDir = currentDir
+ }
+
+ FileResolver fileResolver = getServices().get(FileResolver.class)
+ JavaExecAction action = new DefaultJavaExecAction(fileResolver)
+ action.setMain("frege.repl.FregeRepl")
+ action.workingDir = sourceDir
+ action.standardInput = System.in
+ action.setClasspath(project.files(project.configurations.compile ))
+
+ action.execute()
+ }
+
+} \ No newline at end of file