diff options
| author | Mark Perry <maperry78@yahoo.com.au> | 2015-09-03 21:47:01 +1000 |
|---|---|---|
| committer | Mark Perry <maperry78@yahoo.com.au> | 2015-09-03 21:47:01 +1000 |
| commit | 03c9d23f0d3507dbab5f207fd4a20f4af258a434 (patch) | |
| tree | 85f1f7996e5b17f316da508377e19d9d487f57f9 /src/main/groovy/frege/gradle/FregeTask.groovy | |
| parent | 52ade40191db0f47260d2875a073f68e2277474f (diff) | |
| parent | 0fd74d0e77c44bb895e97319d1d8faaacc8a5448 (diff) | |
| download | frege-gradle-plugin-03c9d23f0d3507dbab5f207fd4a20f4af258a434.tar.gz frege-gradle-plugin-03c9d23f0d3507dbab5f207fd4a20f4af258a434.tar.bz2 frege-gradle-plugin-03c9d23f0d3507dbab5f207fd4a20f4af258a434.zip | |
Merge branch 'master' of https://github.com/Frege/frege-gradle-plugin
Diffstat (limited to 'src/main/groovy/frege/gradle/FregeTask.groovy')
| -rw-r--r-- | src/main/groovy/frege/gradle/FregeTask.groovy | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/main/groovy/frege/gradle/FregeTask.groovy b/src/main/groovy/frege/gradle/FregeTask.groovy index fc3152d..a85b4cc 100644 --- a/src/main/groovy/frege/gradle/FregeTask.groovy +++ b/src/main/groovy/frege/gradle/FregeTask.groovy @@ -13,6 +13,9 @@ class FregeTask extends DefaultTask { static String DEFAULT_SRC_DIR = "src/main/frege" // TODO: should this come from a source set? @Optional @Input + String xss = "4m" + + @Optional @Input boolean hints = false @Optional @Input @@ -56,6 +59,11 @@ class FregeTask extends DefaultTask { action.setMain("frege.compiler.Main") action.setClasspath(project.files(project.configurations.compile)) + List jvmargs = [] + if (xss) + jvmargs << "-Xss$xss" + action.setJvmArgs(jvmargs) + def args = allArgs ? allArgs.split().toList() : assembleArguments() logger.info("Calling Frege compiler with args: '$args'") |