From 668a80d1262a24bb4588426f83d9deb72afde23b Mon Sep 17 00:00:00 2001 From: mergify[bot] Date: Thu, 5 Mar 2020 18:57:09 +0000 Subject: Clone Verilator from GitHub, fix tag name (#1423) Signed-off-by: Schuyler Eldridge --- .install_verilator.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to '.install_verilator.sh') diff --git a/.install_verilator.sh b/.install_verilator.sh index fc665f49..9af006ef 100644 --- a/.install_verilator.sh +++ b/.install_verilator.sh @@ -2,11 +2,11 @@ set -e # Install Verilator (http://www.veripool.org/projects/verilator/wiki/Installing) if [ ! -f $INSTALL_DIR/bin/verilator ]; then mkdir -p $INSTALL_DIR - git clone http://git.veripool.org/git/verilator + git clone https://github.com/verilator/verilator.git unset VERILATOR_ROOT cd verilator git pull - git checkout verilator_3_922 + git checkout v3.922 autoconf ./configure --prefix=$INSTALL_DIR make -- cgit v1.2.3