From 38e7fa6530f0c5ba5044dcd79f391e49fcdef84c Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Wed, 27 Nov 2013 09:08:35 +0100
Subject: Tighter integration of ABC build

---
 README | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

(limited to 'README')

diff --git a/README b/README
index 940689689..650095472 100644
--- a/README
+++ b/README
@@ -93,10 +93,8 @@ To build Yosys simply type 'make' in this directory.
 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.
 
-To also build and install ABC (recommended) use the following commands:
-
-	$ make abc
-	$ sudo make install-abc
+Note that this also downloads, builds and installs ABC (using yosys-abc
+as executeable name).
 
 Yosys can be used with the interactive command shell, with
 synthesis scripts or with command line arguments. Let's perform
-- 
cgit v1.2.3