mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-10-28 10:19:26 +00:00
Code Activity

Various fixes in Verific frontend for new RTLIL API

Browse source
This commit is contained in:
Clifford Wolf 2014-07-23 21:35:01 +02:00
parent 2a41afb7b2
commit 375aa71dfe
2 changed files with 55 additions and 27 deletions
Download patch file Download diff file Expand all files Collapse all files

33
frontends/verific/build_amd64.txt Normal file
View file

@ -0,0 +1,33 @@
Notes on buildin yosys with verific support on amd64 when you only have the
i386 eval version of Verific:
1.) Use a Makefile.conf like the following one:
--snip--
CONFIG := clang-debug
ENABLE_TCL := 0
ENABLE_QT4 := 0
ENABLE_ABC := 0
ENABLE_VERIFIC := 1
CXXFLAGS += -m32
LDFLAGS += -m32
--snap--
2.) Install the neccessary multilib packages.
Hint: On debian/ubuntu the multilib packages have names such as
libreadline-dev:amd64 or lib32readline6-dev, depending on the version
of the system you are working with.
Hint: On Ubuntu 14.04 there is a problem with the 32bit libz
package. A workaround is running the following command in the
yosys source directory:
ln -s /usr/include/x86_64-linux-gnu/zconf.h .
3.) Run 'make' and 'make install' as usual.