aboutsummaryrefslogtreecommitdiff
path: root/README.md
diff options
context:
space:
mode:
authorThibault Gagnaux <tgagnaux@gmail.com>2021-12-11 10:54:04 +0100
committerThibault Gagnaux <tgagnaux@gmail.com>2021-12-11 10:54:04 +0100
commite7b73f3a18c487efe6122e875f0b1ff96af3dd8f (patch)
tree9ad0075fb39be5601b551559519efe56979e4f78 /README.md
parent815cc93c870a2a857de8c5dd1dcc8c9aa5b4f2a8 (diff)
downloadfrege-gradle-plugin-e7b73f3a18c487efe6122e875f0b1ff96af3dd8f.tar.gz
frege-gradle-plugin-e7b73f3a18c487efe6122e875f0b1ff96af3dd8f.tar.bz2
frege-gradle-plugin-e7b73f3a18c487efe6122e875f0b1ff96af3dd8f.zip
chore: updates readme for `replFrege` task v2
Diffstat (limited to 'README.md')
-rw-r--r--README.md6
1 files changed, 3 insertions, 3 deletions
diff --git a/README.md b/README.md
index 94364a1..2c5fb39 100644
--- a/README.md
+++ b/README.md
@@ -35,11 +35,11 @@ Optional configuration parameters inside `build.gradle`:
- **setupFrege**: Downloads the specified version of the Frege compiler.
- **compileFrege**: All your `*.fr` files in `mainSourceDir` get compiled to `outputDir`.
- **runFrege**: Runs the Frege module specified by `mainModule`. Alternatively you can also pass the main module by command line, e.g: `gradle runFrege --mainModule=my.mod.Name`.
-- **replFrege**: Starts the Frege REPL with the Frege compiler, `outputDir` and specified `dependencies` on the classpath.
+- **replFrege**: Takes care of all project dependencies and prints the command to start the Frege REPL, e.g: `java -cp <your-correct-classpath-with-all-dependencies> frege.repl.FregeRepl`.
-### Compile Dependencies
+### Dependencies
-Compile dependencies can be configured as expected in your `build.gradle` file, using the `implementation` scope, e.g.:
+Dependencies can be configured as expected in your `build.gradle` file, using the `implementation` scope, e.g.:
```groovy
repositories {