aboutsummaryrefslogtreecommitdiff
path: root/src/main/groovy/frege/gradle/tasks/FregeQuickCheck.groovy
diff options
context:
space:
mode:
authorDierk Koenig <dierk.koenig@canoo.com>2020-06-23 11:57:12 +0200
committerDierk Koenig <dierk.koenig@canoo.com>2020-06-28 15:47:10 +0200
commit739d5007295f578e033209ddeb05351b81ae4dd0 (patch)
tree6201f355868dda09d838234e8f663bfad5c832f6 /src/main/groovy/frege/gradle/tasks/FregeQuickCheck.groovy
parent874490ffa3dfb3380960b7c02923f1fac7a79b9a (diff)
downloadfrege-gradle-plugin-739d5007295f578e033209ddeb05351b81ae4dd0.tar.gz
frege-gradle-plugin-739d5007295f578e033209ddeb05351b81ae4dd0.tar.bz2
frege-gradle-plugin-739d5007295f578e033209ddeb05351b81ae4dd0.zip
compiles and runs with frege-3.25.84.jar and Gradle 5.0
Diffstat (limited to 'src/main/groovy/frege/gradle/tasks/FregeQuickCheck.groovy')
-rw-r--r--src/main/groovy/frege/gradle/tasks/FregeQuickCheck.groovy5
1 files changed, 3 insertions, 2 deletions
diff --git a/src/main/groovy/frege/gradle/tasks/FregeQuickCheck.groovy b/src/main/groovy/frege/gradle/tasks/FregeQuickCheck.groovy
index e06236f..afeacac 100644
--- a/src/main/groovy/frege/gradle/tasks/FregeQuickCheck.groovy
+++ b/src/main/groovy/frege/gradle/tasks/FregeQuickCheck.groovy
@@ -2,6 +2,7 @@ package frege.gradle.tasks
import org.gradle.api.DefaultTask
import org.gradle.api.internal.file.FileResolver
import org.gradle.api.tasks.TaskAction
+import org.gradle.process.internal.DefaultExecActionFactory
import org.gradle.process.internal.DefaultJavaExecAction
import org.gradle.process.internal.JavaExecAction
@@ -60,7 +61,7 @@ class FregeQuickCheck extends DefaultTask {
void runQuickCheck() {
FileResolver fileResolver = getServices().get(FileResolver.class)
- JavaExecAction action = new DefaultJavaExecAction(fileResolver)
+ JavaExecAction action = new DefaultExecActionFactory(fileResolver).newJavaExecAction()
action.setMain("frege.tools.Quick")
action.standardInput = System.in
@@ -89,4 +90,4 @@ class FregeQuickCheck extends DefaultTask {
action.execute()
}
-} \ No newline at end of file
+}