1 files changed, 6 insertions, 0 deletions
diff --git a/src/main/java/ch/fhnw/thga/gradleplugins/ReplFregeTask.java b/src/main/java/ch/fhnw/thga/gradleplugins/ReplFregeTask.java
index 475946b..dd18270 100644
--- a/src/main/java/ch/fhnw/thga/gradleplugins/ReplFregeTask.java
+++ b/src/main/java/ch/fhnw/thga/gradleplugins/ReplFregeTask.java
@@ -8,6 +8,7 @@ import org.gradle.api.tasks.Input;
 import org.gradle.api.tasks.InputDirectory;
 import org.gradle.api.tasks.InputFile;
 import org.gradle.api.tasks.TaskAction;
+import org.gradle.api.tasks.options.Option;
 
 public abstract class ReplFregeTask extends DefaultTask {
     public static final String REPL_MAIN_CLASS = "frege.repl.FregeRepl";
@@ -21,6 +22,11 @@ public abstract class ReplFregeTask extends DefaultTask {
     @InputDirectory
     public abstract DirectoryProperty getFregeOutputDir();
 
+    @Input
+    @Option(option     = "replSource",
+           description = "The filename which you want to load into the repl, e.g. 'myFregeFile.fr'")
+    public abstract Property<String> getReplSource();
+
     @TaskAction
     public void printStartFregeReplCommand() {
         System.out.println("Execute the following command to start the Frege Repl:");