From 1488bc0c4f80b32cabd096232830b7fdfc400bbf Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Fri, 25 Jul 2014 12:16:03 +0200
Subject: [PATCH] Updated verific build/test instructions

---
 frontends/verific/build_amd64.txt | 22 ++++++++++------------
 frontends/verific/test_navre.ys   |  4 ++--
 2 files changed, 12 insertions(+), 14 deletions(-)

diff --git a/frontends/verific/build_amd64.txt b/frontends/verific/build_amd64.txt
index 49debe0f0..2f325e515 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.
-
-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 .
+libreadline-dev:amd64 or lib32readline6-dev, depending on the
+exact version of debian/ubuntu you are working with.
 
 
-3.) Run 'make' and 'make install' as usual.
+3.) Build and test
+
+make -j8
+./yosys frontends/verific/test_navre.ys
 
diff --git a/frontends/verific/test_navre.ys b/frontends/verific/test_navre.ys
index 6f63761ab..a56b725ac 100644
--- a/frontends/verific/test_navre.ys
+++ b/frontends/verific/test_navre.ys
@@ -1,11 +1,11 @@
-verific -vlog2k ../../../yosys-bigsim/softusb_navre/rtl/softusb_navre.v
+verific -vlog2k ../yosys-bigsim/softusb_navre/rtl/softusb_navre.v
 verific -import softusb_navre
 
 memory softusb_navre
 flatten softusb_navre
 rename softusb_navre gate
 
-read_verilog ../../../yosys-bigsim/softusb_navre/rtl/softusb_navre.v
+read_verilog ../yosys-bigsim/softusb_navre/rtl/softusb_navre.v
 cd softusb_navre; proc; opt; memory; opt; cd ..
 rename softusb_navre gold