diff options
author | nea <romangraef@gmail.com> | 2022-06-23 23:17:58 +0200 |
---|---|---|
committer | nea <romangraef@gmail.com> | 2022-06-23 23:17:58 +0200 |
commit | 0721b7cb0e9e680c3e2541b685b1ba7b9a80cb4b (patch) | |
tree | b8c0247892c6fda956c3c22c0c269e6bd9488b79 /example-project/gradle | |
parent | 56a7af2bb5f1eaf09c2c5ad8ea81c6f402a98725 (diff) | |
download | frege-gradle-plugin-0721b7cb0e9e680c3e2541b685b1ba7b9a80cb4b.tar.gz frege-gradle-plugin-0721b7cb0e9e680c3e2541b685b1ba7b9a80cb4b.tar.bz2 frege-gradle-plugin-0721b7cb0e9e680c3e2541b685b1ba7b9a80cb4b.zip |
Add support for the frege-intellij plugin
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 'example-project/gradle')
0 files changed, 0 insertions, 0 deletions