aboutsummaryrefslogtreecommitdiff
path: root/src/main/groovy/frege/gradle/FregePlugin.groovy
AgeCommit message (Expand)Author
2015-11-18introduce frege-base plugin for basic frege functionalityRene Groeschke
2015-09-25use newer conventions for group namesDierk Koenig
2015-09-25make calls a bit more regularDierk Koenig
2015-09-25replace base plugin with Java plugin since we depend on it for the "classes" ...Dierk Koenig
2015-09-23Cleanup compile task and pluginMark Perry
2015-09-23Allow disabling frege compile task. Added default modules for compiling freg...Mark Perry
2015-09-22Added quick check dependency to testMark Perry
2015-09-20Implemented most options to use the plugin to compile the Frege sourceMark Perry
2015-09-18Changes for source path - does not workMark Perry
2015-09-16Added help and Frege package dir for compile taskMark Perry
2015-03-18included the FregeDocTask, streamlined some dependenciesDierk Koenig
2015-03-10Apply solution for #9 directly to pluginMark Perry
2015-02-25the repl needs to start with the targetDir on the classpath where the compile...Dierk Koenig
2015-02-24first step into quickcheck integration. It works on "inline" checks but not y...Dierk Koenig
2015-02-24we now have two repl tasks to choose from :-)Dierk Koenig
2015-02-24Merge remote-tracking branch 'origin/master'Dierk Koenig
2015-02-18Added native code generation tool taskMark Perry
2015-02-17Added repl task named fregeReplMark Perry
2015-02-17Changed package name to frege.gradle to match frege compiler package namesMark Perry