aboutsummaryrefslogtreecommitdiff
path: root/src/main/java/ch/fhnw/thga/gradleplugins/SetupFregeTask.java
diff options
context:
space:
mode:
authorThibault Gagnaux <tgagnaux@gmail.com>2021-12-20 20:48:17 +0100
committerThibault Gagnaux <tgagnaux@gmail.com>2021-12-21 11:22:55 +0100
commit992490f446720cd4cf4fb9aadff463b2328a8287 (patch)
treee3a19d9c3f79a6ba9620f05da2db8ba5421df9ff /src/main/java/ch/fhnw/thga/gradleplugins/SetupFregeTask.java
parentf923b4f8733003d55891dd4da25d849c81c4933c (diff)
downloadfrege-gradle-plugin-992490f446720cd4cf4fb9aadff463b2328a8287.tar.gz
frege-gradle-plugin-992490f446720cd4cf4fb9aadff463b2328a8287.tar.bz2
frege-gradle-plugin-992490f446720cd4cf4fb9aadff463b2328a8287.zip
feat: adds `replSource` property and command-line option
The `replSource` property specifies the frege source file that you want to load into the repl. It is excluded in the `fregeCompile` task so that we don't get two java class files (one from `compileFrege` and one from the fregeRepl `:l` command) that shadow each other on the classpath. As a result, we can make interactive changes to the `replSource` file and use the `:r` reload command to see them.
Diffstat (limited to 'src/main/java/ch/fhnw/thga/gradleplugins/SetupFregeTask.java')
-rw-r--r--src/main/java/ch/fhnw/thga/gradleplugins/SetupFregeTask.java5
1 files changed, 3 insertions, 2 deletions
diff --git a/src/main/java/ch/fhnw/thga/gradleplugins/SetupFregeTask.java b/src/main/java/ch/fhnw/thga/gradleplugins/SetupFregeTask.java
index 1b12f56..6bfe72d 100644
--- a/src/main/java/ch/fhnw/thga/gradleplugins/SetupFregeTask.java
+++ b/src/main/java/ch/fhnw/thga/gradleplugins/SetupFregeTask.java
@@ -21,9 +21,10 @@ import org.gradle.api.tasks.OutputFile;
import org.gradle.api.tasks.TaskAction;
public abstract class SetupFregeTask extends DefaultTask {
- public static final Logger LOGGER = Logging.getLogger(SetupFregeTask.class);
+ public static final Logger LOGGER = Logging.getLogger(SetupFregeTask.class);
- private static final String FREGE_GITHUB_URL_PREFIX = "https://github.com/Frege/frege/releases/download";
+ private static final String FREGE_GITHUB_URL_PREFIX =
+ "https://github.com/Frege/frege/releases/download";
@Input
public abstract Property<String> getVersion();