diff options
| author | nea <romangraef@gmail.com> | 2022-02-15 11:40:07 +0100 |
|---|---|---|
| committer | nea <romangraef@gmail.com> | 2022-02-15 11:40:07 +0100 |
| commit | 4ec9799890159a595885017bd116a6017f598abc (patch) | |
| tree | 4e833e12cf8e4f8730489b4995d85b1a6df715ef /src/main/java/ch/fhnw/thga/gradleplugins/FregeExtension.java | |
| parent | ddf176c4d9ad16648ea8e2459694d34d6c68e5d7 (diff) | |
| download | frege-gradle-plugin-master.tar.gz frege-gradle-plugin-master.tar.bz2 frege-gradle-plugin-master.zip | |
This commit adds support for the frege intellij plugin by
- exposing the frege compiler jar as a dependency, so the plugin can
recognize the standard library.
- adding the name 'fregeRun' as that is used by the plugin to run files
- add support for overriding the main module executed by runFrege so
that arbitary files can be run by the plugin
Diffstat (limited to 'src/main/java/ch/fhnw/thga/gradleplugins/FregeExtension.java')
0 files changed, 0 insertions, 0 deletions