diff options
Diffstat (limited to 'BUILDING.md')
| -rw-r--r-- | BUILDING.md | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/BUILDING.md b/BUILDING.md index 8df08e0b..7e63de0c 100644 --- a/BUILDING.md +++ b/BUILDING.md @@ -127,11 +127,21 @@ To build Sail with interactive support we need two more commands opam install linenoise make isail ``` -To test Sail is installed correctly, execute the following from the +To test if Sail behaves correctly, execute the following from the root directory of the sail repository. You may also need to set $LEM_DIR to the root of the lem repository for the lem tests. Some of -the C backend tests will fail if valgrind isn't installed. +the C backend tests will fail if valgrind isn't installed. Some tests will +fail if cvc4 isn’t installed. ``` export SAIL_DIR=$PWD test/run_tests.sh ``` + +To install Sail using OPAM from the git repo, use `opam pin` as follows. +``` +opam pin add sail /path/to/local/sail/repo +``` +This way, you can make the most recent changes to Sail easily available to programs +that use it. To rebuild this installation of Sail, use `opam upgrade` as usual. +If you want to do more complicated things, `opam pin --help` might be of +interest. |