From: Clifford Wolf <clifford@clifford.at>
Date: Fri, 4 Jan 2019 14:03:29 +0000 (+0100)
Subject: Remove -m32 Verific eval lib build instructions
X-Git-Tag: yosys-0.9~343
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6d1e7e9403c81289492af889922df9aa3e3842b0;p=yosys.git

Remove -m32 Verific eval lib build instructions

Signed-off-by: Clifford Wolf <clifford@clifford.at>
---

diff --git a/frontends/verific/README b/frontends/verific/README
index b4c436a3a..c76cdd637 100644
--- a/frontends/verific/README
+++ b/frontends/verific/README
@@ -4,35 +4,6 @@ This directory contains Verific bindings for Yosys.
 See http://www.verific.com/ for details.
 
 
-Building Yosys with the 32 bit Verific eval library on amd64:
-=============================================================
-
-1.) Use a Makefile.conf like the following one:
-
---snip--
-CONFIG := gcc
-ENABLE_TCL := 0
-ENABLE_PLUGINS := 0
-ENABLE_VERIFIC := 1
-CXXFLAGS += -m32
-LDFLAGS += -m32
-VERIFIC_DIR = /usr/local/src/verific_lib_eval
---snap--
-
-
-2.) Install the necessary multilib packages
-
-Hint: On debian/ubuntu the multilib packages have names such as
-libreadline-dev:i386 or lib32readline6-dev, depending on the
-exact version of debian/ubuntu you are working with.
-
-
-3.) Build and test
-
-make -j8
-./yosys -p 'verific -sv frontends/verific/example.sv; verific -import top'
-
-
 Verific Features that should be enabled in your Verific library
 ===============================================================