adding a task openFregeRepl that opens the repl with the current compile classpath on the source directory. Since the repl dependencies cannot be loaded from mavenCentral, one has to set the replDir where the download is. Default is <user.home>/.frege/repl

4 files changed, 67 insertions, 0 deletions

diff --git a/build.gradle b/build.gradle
index 1ff2833..46699f6 100644
--- a/build.gradle
+++ b/build.gradle
@@ -27,5 +27,6 @@ dependencies {
     compile "com.theoryinpractise.frege:frege:$fregeVersion$fregeClassifier"
     compile gradleApi()
     compile localGroovy()
+
 }
 
diff --git a/src/main/groovy/org/gradle/frege/FregePlugin.groovy b/src/main/groovy/org/gradle/frege/FregePlugin.groovy
index a401eb7..16bcecf 100644
--- a/src/main/groovy/org/gradle/frege/FregePlugin.groovy
+++ b/src/main/groovy/org/gradle/frege/FregePlugin.groovy
@@ -13,6 +13,10 @@ 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 }
+
     }
 
 }
diff --git a/src/main/groovy/org/gradle/frege/FregeReplTask.groovy b/src/main/groovy/org/gradle/frege/FregeReplTask.groovy
new file mode 100644
index 0000000..03ac78d
--- /dev/null
+++ b/src/main/groovy/org/gradle/frege/FregeReplTask.groovy
@@ -0,0 +1,60 @@
+package org.gradle.frege
+
+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 replDir
+
+    @Optional @InputDirectory
+    File sourceDir = new File(project.projectDir, DEFAULT_SRC_DIR)
+
+    @TaskAction
+    void openFregeRepl() {
+
+        if (! replDir) replDir = new File(System.properties.'user.home'.toString(), "/.frege/repl")
+
+        def replJarFileNames = []
+
+        if (! replDir.exists() ) {
+            throw new StopActionException("REPL installation directory '${replDir.absolutePath}' does not exist. Cannot start the REPL.")
+        }
+
+        replDir.eachFileRecurse { file ->
+            if (file.name ==~ /^(frege-|ecj-|jline).*\.jar$/) {
+                replJarFileNames << file.absolutePath
+            }
+        }
+        logger.debug "repl installation jar file names are ${replJarFileNames}"
+
+        if (replJarFileNames.size() < 6) {
+            throw new StopActionException("Found only ${replJarFileNames.size()} jars in REPL installation directory '${replDir.absolutePath}'. Cannot start the REPL.")
+        }
+
+        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 , *replJarFileNames))
+
+        action.execute()
+    }
+
+}
\ No newline at end of file
diff --git a/todo.txt b/todo.txt
new file mode 100644
index 0000000..027fb84
--- /dev/null
+++ b/todo.txt
@@ -0,0 +1,2 @@
+- add task for QuickCheck
+- add task for FregeDoc
\ No newline at end of file