diff options
| author |   Kenji Hosokawa <khosokawa@jp.adit-jv.com> | 2021-08-26 10:42:22 +0900 |
|---|---|---|
| committer | Kenji Hosokawa <khosokawa@jp.adit-jv.com> | 2021-08-26 10:42:22 +0900 |
| commit | e64ab752239f906d2a7f9e75757b7c9fd8aae522 (patch) | |
| tree | ddb6c621243461855112c17c90816a4102e61942 /README.md | |
| parent | be4f78978faba3d3ceb88df02a7f93a2e09ff1e0 (diff) | |
update README
Signed-off-by: Kenji Hosokawa <khosokawa@jp.adit-jv.com>
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 8 |
1 files changed, 7 insertions, 1 deletions
@@ -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. |