diff options
author | mid-kid <esteve.varela@gmail.com> | 2018-11-19 20:02:07 +0100 |
---|---|---|
committer | mid-kid <esteve.varela@gmail.com> | 2018-11-19 20:02:07 +0100 |
commit | fed51c47f0c03ccc05b57dddbdfbf1e7e7e8ac2d (patch) | |
tree | abac9fb0fb1c5049be80eff1f6ae737552629bff | |
parent | c05a2d255befc2d3b7fdf3c5375fa9a015c13632 (diff) |
Add flex and pkg-config to INSTALL.md
-rw-r--r-- | INSTALL.md | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/INSTALL.md b/INSTALL.md index 798f41406..e6ed89c36 100644 --- a/INSTALL.md +++ b/INSTALL.md @@ -90,7 +90,7 @@ sudo apt-get install make gcc git To install **rgbds**: ```bash -sudo apt-get install bison libpng-dev +sudo apt-get install pkg-config flex bison libpng-dev git clone --depth=1 https://github.com/rednex/rgbds sudo make -C rgbds CFLAGS=-O2 install ``` @@ -106,7 +106,7 @@ sudo zypper install make gcc git To install **rgbds**: ```bash -sudo zypper install bison libpng16-devel +sudo zypper install pkg-config flex bison libpng16-devel git clone --depth=1 https://github.com/rednex/rgbds sudo make -C rgbds CFLAGS=-O2 install ``` @@ -122,7 +122,7 @@ sudo pacman -S make gcc git To install **rgbds**: ```bash -sudo pacman -S bison libpng +sudo pacman -S pkg-config flex bison libpng git clone --depth=1 https://github.com/rednex/rgbds sudo make -C rgbds CFLAGS=-O2 install ``` @@ -152,6 +152,8 @@ If your distro is not listed here, try to find the required software in its repo If `rgbds` is not available, you'll also need these: +- `pkg-config` +- `flex` - `bison` - `libpng` (and the development headers) |