diff options
author | Son Ho | 2023-12-18 10:06:11 +0100 |
---|---|---|
committer | Son Ho | 2023-12-18 10:06:11 +0100 |
commit | 58b838594777b1489b31db40bba27b5fca355a73 (patch) | |
tree | 989547c1efc490669518d73bdbf8c72bf82b0f5d | |
parent | 884edaa3ee975626f184249d491f343fc02a66e2 (diff) |
Update the README
-rw-r--r-- | README.md | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -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): |