diff options
author | tricktron <tgagnaux@gmail.com> | 2021-11-16 17:03:14 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-11-16 17:03:14 +0100 |
commit | c093758e568cb14ba482f90f1fa513dc15d846a1 (patch) | |
tree | c23aaa8291de6c8251362aad861c9c8eda6f328e /README.md | |
parent | 69a88ef7125bc4314b1fbb12a382dca07d93e642 (diff) | |
parent | a8696e057ed6ef934bc67495238637e2fcbb53a4 (diff) | |
download | frege-gradle-plugin-c093758e568cb14ba482f90f1fa513dc15d846a1.tar.gz frege-gradle-plugin-c093758e568cb14ba482f90f1fa513dc15d846a1.tar.bz2 frege-gradle-plugin-c093758e568cb14ba482f90f1fa513dc15d846a1.zip |
Merge pull request #2 from tricktron/f-compiler-flags
Frege Compiler Flags
Diffstat (limited to 'README.md')
-rw-r--r-- | README.md | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -28,6 +28,7 @@ Optional configuration parameters inside `build.gradle`: - compilerDownloadDir: defaults to `<projectRoot>/lib` - mainSourceDir: defaults to `<projectRoot>/src/main/frege` - outputDir: defaults to `<projectRoot>/build/classes/main/frege` +- compilerFlags: defaults to `['-O', '-make']` |