Adapt install verilator script.

This commit is contained in:
Michael Schaffner 2018-11-18 11:39:22 +01:00
parent d3e94bad13
commit 92634285f6
No known key found for this signature in database
GPG key ID: 7AA09AE049819C2C

View file

@ -10,7 +10,9 @@ fi
if [ ! -e "$VERILATOR_ROOT/bin/verilator" ]; then
echo "Installing Verilator"
wget https://www.veripool.org/ftp/verilator-3.924.tgz
tar xzf verilator*.t*gz && cd verilator-*
tar xzf verilator*.t*gz
rm verilator*.t*gz
cd verilator-*
mkdir -p $VERILATOR_ROOT
# copy scripts
autoconf && ./configure --prefix="$VERILATOR_ROOT" && make -j${NUM_JOBS}