diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-07-25 12:16:03 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-07-25 12:16:03 +0200 |
| commit | 1488bc0c4f80b32cabd096232830b7fdfc400bbf (patch) | |
| tree | 38d1f22a42ac2bc86918511c44f6b38f84fb9619 /frontends/verific/build_amd64.txt | |
| parent | 91bf0c90c86f5f857f440bec012b085d9f218ef0 (diff) | |
Updated verific build/test instructions
Diffstat (limited to 'frontends/verific/build_amd64.txt')
| -rw-r--r-- | frontends/verific/build_amd64.txt | 20 |
1 files changed, 9 insertions, 11 deletions
diff --git a/frontends/verific/build_amd64.txt b/frontends/verific/build_amd64.txt index 49debe0f..2f325e51 100644 --- a/frontends/verific/build_amd64.txt +++ b/frontends/verific/build_amd64.txt @@ -1,6 +1,6 @@ -Notes on buildin yosys with verific support on amd64 when you only have the -i386 eval version of Verific: +Notes on building 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: @@ -13,21 +13,19 @@ ENABLE_ABC := 0 ENABLE_VERIFIC := 1 CXXFLAGS += -m32 LDFLAGS += -m32 +VERIFIC_DIR = /usr/local/src/verific_lib_eval --snap-- -2.) Install the neccessary multilib packages. +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. +libreadline-dev:amd64 or lib32readline6-dev, depending on the +exact version of debian/ubuntu 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.) Build and test - -3.) Run 'make' and 'make install' as usual. +make -j8 +./yosys frontends/verific/test_navre.ys |