From d4fedb76d764bf45e59a939c37be29c1923881a5 Mon Sep 17 00:00:00 2001
From: tangxifan <tangxifan@gmail.com>
Date: Fri, 1 Nov 2019 15:24:58 -0600
Subject: [PATCH] revert to default iverilog of Ubuntu 18.04

---
 .travis.yml | 27 ++++++++++++++-------------
 1 file changed, 14 insertions(+), 13 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index 2e53c637a..658431210 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -47,6 +47,7 @@ matrix:
           - gdb
           - git
           - gperf
+          - iverilog
           - libcairo2-dev
           - libevent-dev
           - libfontconfig1-dev
@@ -101,19 +102,19 @@ install:
     fi
   - cmake --version
 # Install latest iVerilog. Since no deb is provided, compile from source codes
-  - |
-    if [[ "${TRAVIS_OS_NAME}" == "linux" ]]; then
-      IVERILOG_URL="https://github.com/steveicarus/iverilog/archive/v10_3.tar.gz"
-      travis_retry wget --no-check-certificate --quiet -O - ${IVERILOG_URL} | tar --strip-components=1 -xz -C iverilog-10.3
-      cd iverlog-10.3
-      sh autoconf.sh --prefix=${DEPS_DIR}/iverilog-10.3/bin
-      ./configure --prefix=${DEPS_DIR}/iverilog-10.3/bin
-      make -j4
-      make check
-      make install --prefix=${HOME}/iverilog-10.3/bin
-      export PATH=${DEPS_DIR}/iverilog-10.3/bin:${PATH}
-      echo ${PATH}
-    fi
+#  - |
+#    if [[ "${TRAVIS_OS_NAME}" == "linux" ]]; then
+#      IVERILOG_URL="https://github.com/steveicarus/iverilog/archive/v10_3.tar.gz"
+#      travis_retry wget --no-check-certificate --quiet -O - ${IVERILOG_URL} | tar --strip-components=1 -xz -C iverilog-10.3
+#      cd iverlog-10.3
+#      sh autoconf.sh --prefix=${DEPS_DIR}/iverilog-10.3/bin
+#      ./configure --prefix=${DEPS_DIR}/iverilog-10.3/bin
+#      make -j4
+#      make check
+#      make install --prefix=${HOME}/iverilog-10.3/bin
+#      export PATH=${DEPS_DIR}/iverilog-10.3/bin:${PATH}
+#      echo ${PATH}
+#    fi
   - iverilog --version
   - cd -
   - .travis/install.sh