Age | Commit message (Collapse) | Author |
|
|
|
Conflicts:
src/main/groovy/frege/gradle/FregePlugin.groovy
|
|
classpath on the source directory. Since the repl dependencies cannot be loaded from mavenCentral, one has to set the replDir where the download is. Default is <user.home>/.frege/repl
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
and make the input/output handling Gradle-friendly such that caching works out of the box
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|