From 8c19b10a8bf51e0282337c555e5af7bc9cc0ce66 Mon Sep 17 00:00:00 2001 From: Roberto Rosmaninho Date: Fri, 6 Dec 2024 18:14:59 -0300 Subject: [PATCH] Addressing comments and adding observations from clean install --- INSTALL.md | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/INSTALL.md b/INSTALL.md index e734b8e9d..c933f0c19 100644 --- a/INSTALL.md +++ b/INSTALL.md @@ -30,7 +30,7 @@ python3 -m pip install pybind11 lit ``` ## macOS / Homebrew - +In order to install the dependencies on macOS, you must have Homebrew installed and on your `PATH`. ```shell brew update brew install \ @@ -42,6 +42,7 @@ brew install \ gmp \ grep \ jemalloc \ + libffi libyaml \ llvm@15 \ maven \ @@ -59,6 +60,11 @@ source venv/bin/activate python3 -m pip install pybind11 lit ``` +Guarantee that you have the JDK installed and on your `PATH`: +```shell +export PATH="/opt/homebrew/opt/openjdk/bin:$PATH" +``` + Some tests rely on GNU Grep options, which are not available on macOS by default. To ensure that the tests run correctly, you add the path of GNU Grep to your `PATH` in your shell profile: @@ -130,7 +136,7 @@ To run the integration tests, run: ```shell lit test ``` -from the root source directory. You can use `-v` which test is being executed +from the root source directory. You can use `-v` to see which test is being executed and the output of failling tests. There is also a unit test suite for backend internals;