From 035fa4970e63fe6a7ec8349f711359eb74e5b92f Mon Sep 17 00:00:00 2001
From: Roland Coeurjoly <rolandcoeurjoly@gmail.com>
Date: Wed, 3 Jan 2018 09:44:57 +0100
Subject: Installation instructions updated (#16)

---
 README.md | 17 ++++++++++++-----
 1 file changed, 12 insertions(+), 5 deletions(-)

(limited to 'README.md')

diff --git a/README.md b/README.md
index 2bead4a..80730b6 100644
--- a/README.md
+++ b/README.md
@@ -7,18 +7,25 @@ This is awfully experimental and work in progress!
 
 Get and install yosys.
 
-Get ghdl from github,
-build and install
-build and install `libghdlsynth.so`:
+Get ghdl from github.
+
+Get the latest version of GNAT:
+```sh
+$ sudo apt-get install gnat-7
+```
+
+From ghdl, build and install `libghdlsynth.so`. You may need sudo permission.
 ```sh
 $ make libghdlsynth.so
+$ make install.libghdlsynth.included
 $ make install.libghdlsynth.shared
+$ make install.libghdlsynth.static
 ```
 
 From ghdlsynth-beta:
 
 ```sh
-make GHDL_PREFIX=prefix-used-to-configure-ghdl
+make GHDL_PREFIX=/usr/local/
 ```
 
 This generates `ghdl.so`, which can be used directly:
@@ -43,7 +50,7 @@ From ghdlsynth-beta:
 Patch yosys sources using `yosys.diff`
 Copy the `ghdl/` directory in `yosys/frontends`
 
-Configure yosys.
+## Configure yosys.
 In Makefile.conf, add:
 ```makefile
 ENABLE_GHDL := 1
-- 
cgit v1.2.3