frontends/verific/build_amd64.txt

   1
   2 Notes on building yosys with verific support on amd64 when you
   3 only have the i386 eval version of Verific:
   4
   5
   6 1.) Use a Makefile.conf like the following one:
   7
   8 --snip--
   9 CONFIG := clang
  10 ENABLE_TCL := 0
  11 ENABLE_QT4 := 0
  12 ENABLE_ABC := 0
  13 ENABLE_PLUGINS := 0
  14 ENABLE_VERIFIC := 1
  15 CXXFLAGS += -m32
  16 LDFLAGS += -m32
  17 VERIFIC_DIR = /usr/local/src/verific_lib_eval
  18 --snap--
  19
  20
  21 2.) Install the necessary multilib packages
  22
  23 Hint: On debian/ubuntu the multilib packages have names such as
  24 libreadline-dev:amd64 or lib32readline6-dev, depending on the
  25 exact version of debian/ubuntu you are working with.
  26
  27
  28 3.) Build and test
  29
  30 make -j8
  31 ./yosys frontends/verific/test_navre.ys
  32