summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSon Ho2023-12-18 10:06:11 +0100
committerSon Ho2023-12-18 10:06:11 +0100
commit58b838594777b1489b31db40bba27b5fca355a73 (patch)
tree989547c1efc490669518d73bdbf8c72bf82b0f5d
parent884edaa3ee975626f184249d491f343fc02a66e2 (diff)
Update the README
Diffstat (limited to '')
-rw-r--r--README.md3
1 files changed, 2 insertions, 1 deletions
diff --git a/README.md b/README.md
index c0a09ebe..64100410 100644
--- a/README.md
+++ b/README.md
@@ -48,7 +48,8 @@ Moreover, Aeneas requires the Charon ML library, defined in the
[Charon](https://github.com/AeneasVerif/charon) project.
The simplest way is to clone Charon, then go to [`compiler`](./compiler) and
create a symbolic link to the Charon library:
-`ln -s PATH_TO_CHARON_REPO/charon-ml charon`
+`cd AENEAS_REPO/compiler && ln -s PATH_TO_CHARON_REPO/charon-ml charon`
+(the symbolic link should be placed inside the `aeneas/compiler/` folder).
**Remark:** if you want to test if the symbolic link is valid, copy-paste the
following script in your terminal (from the `compiler` directory):