From: Michael Neuling <mikey@neuling.org>
Date: Tue, 26 May 2020 06:55:20 +0000 (+1000)
Subject: Delete bit rotted verific script
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ad1c8e7e141ebac06802c71d4c1691aea1b0c8be;p=microwatt.git

Delete bit rotted verific script

We can use ghdl-synth and fusesoc now, so verific is a dead path which
has bit rotted.

Signed-off-by: Michael Neuling <mikey@neuling.org>
---

diff --git a/scripts/verific.sh b/scripts/verific.sh
deleted file mode 100755
index fffa5ee..0000000
--- a/scripts/verific.sh
+++ /dev/null
@@ -1,26 +0,0 @@
-#!/bin/bash
-
-D=$(dirname $0)
-
-TCL=$(mktemp)
-
-VERIFICDIR=$(dirname $(dirname $(which verific-linux)))
-
-echo "setvhdllibrarypath -default $VERIFICDIR/vhdl_packages/vdbs_2008" >> $TCL
-
-# FIXME: make this list dynamic
-for i in decode_types.vhdl common.vhdl wishbone_types.vhdl insn_helpers.vhdl fetch1.vhdl fetch2.vhdl decode1.vhdl helpers.vhdl  decode2.vhdl register_file.vhdl  cr_file.vhdl crhelpers.vhdl ppc_fx_insns.vhdl sim_console.vhdl execute1.vhdl execute2.vhdl loadstore1.vhdl  loadstore2.vhdl multiply.vhdl writeback.vhdl wishbone_arbiter.vhdl core.vhdl simple_ram_behavioural_helpers.vhdl simple_ram_behavioural.vhdl core_tb.vhdl; do
-    F=$(realpath $D/../$i)
-    echo "analyze -format vhdl -vhdl_2008 $F" >> $TCL
-done
-
-echo "elaborate core" >> $TCL
-echo "write core.v" >> $TCL
-echo "area" >> $TCL
-echo "optimize -hierarchy -constant -cse -operator -dangling -resource" >> $TCL
-echo "area" >> $TCL
-echo "write core-optimised.v" >> $TCL
-
-verific-linux -script_file $TCL
-
-rm -rf $TCL