#! /bin/tcsh -f

############################################################
## Copyright: 2011 Integrated Sytems Laboratory, ETH Zurich
##            http://www.iis.ee.ethz.ch/~sha3
############################################################

# Example script for compiling RTL sourcecode

set VER=10.0b
set LIB=work


if (-e $LIB) then
  rm -rf $LIB 
endif

vlib-${VER} $LIB



# keccak
vcom-${VER}  -work $LIB -check_synthesis ../../ethz_keccak/sourcecode/keccakpkg.vhd
vcom-${VER}  -work $LIB -check_synthesis ../../ethz_keccak/sourcecode/controller.vhd
vcom-${VER}  -work $LIB -check_synthesis ../../ethz_keccak/sourcecode/keccak.vhd



# compile sourcecode
vcom-${VER}  -work $LIB -check_synthesis ../sourcecode/shabzigerpkg.vhd
vcom-${VER}  -work $LIB -check_synthesis ../sourcecode/lfsr73.vhd
vcom-${VER}  -work $LIB -check_synthesis ../sourcecode/padunit.vhd
vcom-${VER}  -work $LIB -check_synthesis ../sourcecode/inputblock.vhd


# testbench (note no -check_synthesis)
vcom-${VER}  -work $LIB  ../sourcecode/inputblock_tb.vhd