diff options
| author | Clifford Wolf <clifford@clifford.at> | 2013-10-31 01:09:24 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2013-10-31 01:09:24 +0100 |
| commit | cc7986a3e57a05129b99cf02036f53c472c643b1 (patch) | |
| tree | 9ebd3427134cb3d2fba57bd082d7b0aeb7f11119 | |
| parent | 3fc6c9aac6b869a2f3cda3697fe76e78a887740f (diff) | |
| download | yosys-cc7986a3e57a05129b99cf02036f53c472c643b1.tar.gz yosys-cc7986a3e57a05129b99cf02036f53c472c643b1.tar.bz2 yosys-cc7986a3e57a05129b99cf02036f53c472c643b1.zip | |
Some additions to the README file
| -rw-r--r-- | README | 19 |
1 files changed, 19 insertions, 0 deletions
@@ -69,6 +69,7 @@ will install all prerequisites for building yosys: $ sudo apt-get install libqt4-dev $ sudo apt-get install mercurial $ sudo apt-get install iverilog + $ sudo apt-get install graphviz To configure the build system to use a specific set of compiler and build configuration, use one of @@ -89,6 +90,9 @@ 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. + To also build and install ABC (recommended) use the following commands: $ make abc @@ -258,6 +262,21 @@ Verilog Attributes and non-standard features __YOSYS_ENABLE_DEFATTR__ must be set in order for this feature to be active. +Workarounds for known build problems +==================================== + +You might get an error message like this one during build when building with +a recent version of gcc: + + /usr/include/minisat/utils/Options.h:285:29: error: + unable to find string literal operator ‘operator"" PRIi64’ + +This is a bug in the minisat header. It can be fixed by adding spaces before +and after each occurance of PRIi64 in the header file: + + sudo sed -i 's/PRIi64/ & /' /usr/include/minisat/utils/Options.h + + TODOs / Open Bugs ================= |