aboutsummaryrefslogtreecommitdiff
path: root/.install_verilator.sh
diff options
context:
space:
mode:
authormergify[bot]2020-03-05 18:57:09 +0000
committerGitHub2020-03-05 18:57:09 +0000
commit668a80d1262a24bb4588426f83d9deb72afde23b (patch)
treea90562cb39264c03ff6738f0a7c4915d619285ea /.install_verilator.sh
parent32e33e4a5178fb31abfb3742e135e0d024f9b6c3 (diff)
Clone Verilator from GitHub, fix tag name (#1423)
Signed-off-by: Schuyler Eldridge <schuyler.eldridge@ibm.com>
Diffstat (limited to '.install_verilator.sh')
-rw-r--r--.install_verilator.sh4
1 files changed, 2 insertions, 2 deletions
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