Updated README

diff --git a/README b/README
index 5a48a207c22f639c4b9dde0413193b5c94a21c41..d021c8864d656bee661e5bd64ecad24c142aee6f 100644 (file)
--- a/README
+++ b/README
@@ -56,20 +56,15 @@ and TCL for the scripting functionality. The extensive test suite requires
 Icarus Verilog. For example on Ubuntu Linux 12.04 LTS the following commands
 will install all prerequisites for building yosys:
 
-       $ sudo apt-get install git
-       $ sudo apt-get install g++
-       $ sudo apt-get install clang
-       $ sudo apt-get install make
-       $ sudo apt-get install bison
-       $ sudo apt-get install flex
-       $ sudo apt-get install libreadline-dev
-       $ sudo apt-get install tcl8.5-dev
-       $ sudo apt-get install minisat
-       $ sudo apt-get install zlib1g-dev
-       $ sudo apt-get install libqt4-dev
-       $ sudo apt-get install mercurial
-       $ sudo apt-get install iverilog
-       $ sudo apt-get install graphviz
+       $ yosys_deps="git g++ clang make bison flex libreadline-dev
+                     tcl8.5-dev zlib1g-dev libqt4-dev mercurial
+                     iverilog graphviz"
+       $ sudo apt-get install $yosys_deps
+
+There are also pre-compiled packages for Yosys on Ubuntu. Visit the Yosys
+download page to learn more about this:
+
+       http://www.clifford.at/yosys/download.html 
 
 To configure the build system to use a specific set of compiler and
 build configuration, use one of
@@ -82,7 +77,8 @@ For other compilers and build configurations it might be
 necessary to make some changes to the config section of the
 Makefile.
 
-       $ vi Makefile
+       $ vi Makefile             ..or..
+       $ vi Makefile.conf
 
 To build Yosys simply type 'make' in this directory.
 
@@ -90,9 +86,6 @@ To build Yosys simply type 'make' in this directory.
        $ make test
        $ sudo make install
 
-If you encounter any problems during build, make sure to check the section
-"Workarounds for known build problems" at the end of this README file.
-
 Note that this also downloads, builds and installs ABC (using yosys-abc
 as executeable name).