diff options
| author | Thibault Gagnaux <tgagnaux@gmail.com> | 2022-02-02 18:50:13 +0100 |
|---|---|---|
| committer | Thibault Gagnaux <tgagnaux@gmail.com> | 2022-02-02 18:50:13 +0100 |
| commit | 47f99d65a09660863cb5d6b25b239ead3389f3ac (patch) | |
| tree | c1ca8819f6fa59f4fe481ce2406ffdb2250a193e /example-project/gradle/wrapper | |
| parent | ddf176c4d9ad16648ea8e2459694d34d6c68e5d7 (diff) | |
| download | frege-gradle-plugin-47f99d65a09660863cb5d6b25b239ead3389f3ac.tar.gz frege-gradle-plugin-47f99d65a09660863cb5d6b25b239ead3389f3ac.tar.bz2 frege-gradle-plugin-47f99d65a09660863cb5d6b25b239ead3389f3ac.zip | |
feat: simplifies the whole gradle plugin
- the `compileFregeTask` has a new optional input called `mainModuleName`. If
it is set, it and only its dependencies will be compiled, otherwise all
`.fr`files in the `mainSourceDir`will be compiled.
- the internal `DependencyFregeTask` is deleted because it was only
used by the vscode plugin and I decided to remove this gradle plugin
as a dependency.
- an example project folder was added to test the plugin manually.
Diffstat (limited to 'example-project/gradle/wrapper')
| -rw-r--r-- | example-project/gradle/wrapper/gradle-wrapper.jar | bin | 0 -> 59536 bytes | |||
| -rw-r--r-- | example-project/gradle/wrapper/gradle-wrapper.properties | 5 |
2 files changed, 5 insertions, 0 deletions
diff --git a/example-project/gradle/wrapper/gradle-wrapper.jar b/example-project/gradle/wrapper/gradle-wrapper.jar Binary files differnew file mode 100644 index 0000000..7454180 --- /dev/null +++ b/example-project/gradle/wrapper/gradle-wrapper.jar diff --git a/example-project/gradle/wrapper/gradle-wrapper.properties b/example-project/gradle/wrapper/gradle-wrapper.properties new file mode 100644 index 0000000..e750102 --- /dev/null +++ b/example-project/gradle/wrapper/gradle-wrapper.properties @@ -0,0 +1,5 @@ +distributionBase=GRADLE_USER_HOME +distributionPath=wrapper/dists +distributionUrl=https\://services.gradle.org/distributions/gradle-7.3-bin.zip +zipStoreBase=GRADLE_USER_HOME +zipStorePath=wrapper/dists |