Frege/frege-gradle-plugin

Add additional options for plugin tasks

mperry opened this issue · 2 comments

mperry commented
Add additional options for plugin tasks
mperry commented
  • added help to frege compile task: print out usage options, needed for compiling test code. This might also be need for Gradle submodule dependencies
  • added frege package optoin for compilation
  • reviewed and updated names for tasks
  • added options to quickcheck task

Need to check action's standardInput, standardOutput and errorOutput are set for all tasks (see QuickCheckTask).