path: root/README
diff options
authorClifford Wolf <>2013-11-27 09:08:35 +0100
committerClifford Wolf <>2013-11-27 09:08:35 +0100
commit38e7fa6530f0c5ba5044dcd79f391e49fcdef84c (patch)
tree031c5757ecf204357c41e542672dcaac0c3855a1 /README
parentbc3cc8871973c23043da48c1db76f352b33ea259 (diff)
Tighter integration of ABC build
Diffstat (limited to 'README')
1 files changed, 2 insertions, 4 deletions
diff --git a/README b/README
index 94068968..65009547 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