2014-07-23 14:35:01 -05:00
|
|
|
|
2014-07-25 05:16:03 -05:00
|
|
|
Notes on building yosys with verific support on amd64 when you
|
|
|
|
|
only have the i386 eval version of Verific:
|
2014-07-23 14:35:01 -05:00
|
|
|
|
|
|
|
|
|
|
|
|
|
1.) Use a Makefile.conf like the following one:
|
|
|
|
|
|
|
|
|
|
--snip--
|
2014-08-12 08:21:06 -05:00
|
|
|
CONFIG := clang
|
2014-07-23 14:35:01 -05:00
|
|
|
ENABLE_TCL := 0
|
|
|
|
|
ENABLE_QT4 := 0
|
|
|
|
|
ENABLE_ABC := 0
|
|
|
|
|
ENABLE_VERIFIC := 1
|
|
|
|
|
CXXFLAGS += -m32
|
|
|
|
|
LDFLAGS += -m32
|
2014-07-25 05:16:03 -05:00
|
|
|
VERIFIC_DIR = /usr/local/src/verific_lib_eval
|
2014-07-23 14:35:01 -05:00
|
|
|
--snap--
|
|
|
|
|
|
|
|
|
|
|
2014-09-06 01:47:06 -05:00
|
|
|
2.) Install the necessary multilib packages
|
2014-07-23 14:35:01 -05:00
|
|
|
|
|
|
|
|
Hint: On debian/ubuntu the multilib packages have names such as
|
2014-07-25 05:16:03 -05:00
|
|
|
libreadline-dev:amd64 or lib32readline6-dev, depending on the
|
|
|
|
|
exact version of debian/ubuntu you are working with.
|
2014-07-23 14:35:01 -05:00
|
|
|
|
|
|
|
|
|
2014-07-25 05:16:03 -05:00
|
|
|
3.) Build and test
|
2014-07-23 14:35:01 -05:00
|
|
|
|
2014-07-25 05:16:03 -05:00
|
|
|
make -j8
|
|
|
|
|
./yosys frontends/verific/test_navre.ys
|
2014-07-23 14:35:01 -05:00
|
|
|
|
