aboutsummaryrefslogtreecommitdiffstats
path: root/README.md
diff options
context:
space:
mode:
Diffstat (limited to 'README.md')
-rw-r--r--README.md8
1 files changed, 7 insertions, 1 deletions
diff --git a/README.md b/README.md
index af05d90..f547f55 100644
--- a/README.md
+++ b/README.md
@@ -12,7 +12,13 @@ Supported version is as followings.
#### 2-2. Prepare the source code
git clone https://git.automotivelinux.org/staging/rba-tool
-#### 2-3. Boot Eclipse
+#### 2-3. Prepare dependent binaries (z3)
+ cd /path/to/rba-tool/rba.tool.editor.endpoint/lib/linux
+ curl -OL "https://github.com/Z3Prover/z3/releases/download/z3-4.8.4/z3-4.8.4.d6df51951f4c-x64-ubuntu-16.04.zip"
+ unzip z3-4.8.4.d6df51951f4c-x64-ubuntu-16.04.zip -d z3
+ mv z3-4.8.4.d6df51951f4c-x64-ubuntu-16.04 z3
+
+#### 2-4. Boot Eclipse
- Extract the zip, then boot eclipse.