diff options
| author | Thibault Gagnaux <tgagnaux@gmail.com> | 2021-11-10 09:15:23 +0100 |
|---|---|---|
| committer | Thibault Gagnaux <tgagnaux@gmail.com> | 2021-11-10 09:15:23 +0100 |
| commit | a5bdb321ebff31e5b2005c6b511fc3873ec9cc7f (patch) | |
| tree | 5edc31f1546e38f1a5fd6a17d41100415666b657 /src/main/java/ch/fhnw | |
| parent | 06d18924294dfe78eaba8eafe3a5ec559c43aecb (diff) | |
| download | frege-gradle-plugin-a5bdb321ebff31e5b2005c6b511fc3873ec9cc7f.tar.gz frege-gradle-plugin-a5bdb321ebff31e5b2005c6b511fc3873ec9cc7f.tar.bz2 frege-gradle-plugin-a5bdb321ebff31e5b2005c6b511fc3873ec9cc7f.zip | |
feat: `mainModule` property can be configured with command-line option
Diffstat (limited to 'src/main/java/ch/fhnw')
| -rw-r--r-- | src/main/java/ch/fhnw/thga/gradleplugins/RunFregeTask.java | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/main/java/ch/fhnw/thga/gradleplugins/RunFregeTask.java b/src/main/java/ch/fhnw/thga/gradleplugins/RunFregeTask.java index 2f619a5..d27816c 100644 --- a/src/main/java/ch/fhnw/thga/gradleplugins/RunFregeTask.java +++ b/src/main/java/ch/fhnw/thga/gradleplugins/RunFregeTask.java @@ -14,6 +14,7 @@ import org.gradle.api.tasks.InputDirectory; import org.gradle.api.tasks.InputFile; import org.gradle.api.tasks.JavaExec; import org.gradle.api.tasks.TaskAction; +import org.gradle.api.tasks.options.Option; public abstract class RunFregeTask extends DefaultTask { public static final Logger LOGGER = Logging.getLogger(SetupFregeTask.class); @@ -26,6 +27,7 @@ public abstract class RunFregeTask extends DefaultTask { public abstract DirectoryProperty getFregeOutputDir(); @Input + @Option(option = "mainModule", description = "The full name of the Frege module with a main function, e.g. 'my.mod.Name'") public abstract Property<String> getMainModule(); @Inject |