diff options
author | Dierk Koenig <dierk.koenig@canoo.com> | 2015-08-23 00:53:57 +0200 |
---|---|---|
committer | Dierk Koenig <dierk.koenig@canoo.com> | 2015-08-23 00:53:57 +0200 |
commit | 34a5b9cc9ca17e344810138e86c248703d469db1 (patch) | |
tree | 2d07ccf46ea61b4957aa4a052d7cc16c6faa852f | |
parent | c8876b2e04135bf486c17a9b7cfb78a207c3938d (diff) | |
download | frege-gradle-plugin-34a5b9cc9ca17e344810138e86c248703d469db1.tar.gz frege-gradle-plugin-34a5b9cc9ca17e344810138e86c248703d469db1.tar.bz2 frege-gradle-plugin-34a5b9cc9ca17e344810138e86c248703d469db1.zip |
allow setting the stack size for the compiler with xss, default is 4m
-rw-r--r-- | build.gradle | 4 | ||||
-rw-r--r-- | src/main/groovy/frege/gradle/FregeTask.groovy | 8 |
2 files changed, 10 insertions, 2 deletions
diff --git a/build.gradle b/build.gradle index fcbcf78..1043f9c 100644 --- a/build.gradle +++ b/build.gradle @@ -24,8 +24,8 @@ ext { snapshotAppendix = "-SNAPSHOT" projectVersion = baseVersion + (isSnapshot ? snapshotAppendix : "") - fregeBaseVersion = "3.22.367" - fregeClassifier = "-g2737683" + fregeBaseVersion = "3.22.524" + fregeClassifier = "-gcc99d7e" fregeVersion = "$fregeBaseVersion$fregeClassifier" } 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'") |