diff options
author | Clifford Wolf <clifford@clifford.at> | 2014-07-23 21:35:01 +0200 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2014-07-23 21:35:01 +0200 |
commit | 375aa71dfe53217ef4dd6273b96f53061b5c8e8c (patch) | |
tree | ec5bea025a2de377381689b24d08db19533bda70 /frontends/verific/build_amd64.txt | |
parent | 2a41afb7b2415f824ea1f60337050c9f41c0e33f (diff) |
Various fixes in Verific frontend for new RTLIL API
Diffstat (limited to 'frontends/verific/build_amd64.txt')
-rw-r--r-- | frontends/verific/build_amd64.txt | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/frontends/verific/build_amd64.txt b/frontends/verific/build_amd64.txt new file mode 100644 index 00000000..49debe0f --- /dev/null +++ b/frontends/verific/build_amd64.txt @@ -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. + |