revert to default iverilog of Ubuntu 18.04

This commit is contained in:
tangxifan 2019-11-01 15:24:58 -06:00
parent b54bec1609
commit d4fedb76d7
1 changed files with 14 additions and 13 deletions

View File

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