Skip to content

Commit 4f1b51e

Browse files
committed
Describe how all the dependencies can be installed on ubuntu in the README
1 parent 53ef218 commit 4f1b51e

1 file changed

Lines changed: 5 additions & 0 deletions

File tree

README.md

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -10,6 +10,11 @@ To build rCMD + WARDuino you will need the following dependencies:
1010
- Cmake 3.15+
1111
- Z3
1212

13+
On Ubuntu all dependencies can be installed with the following command:
14+
```bash
15+
sudo apt install openjdk-21-jdk build-essential cmake libz3-dev
16+
```
17+
1318
## Getting started
1419
> [!NOTE]
1520
> Currently only Linux and macOS are supported.

0 commit comments

Comments
 (0)