- # Install iverilog package.
- # - "sudo add-apt-repository -y ppa:mithro/iverilog-backport"
- # - "sudo apt-get update"
- # - "sudo apt-get install iverilog"
- # - "iverilog -v; true"
- # Build the vpi module.
- # - "(cd vpi; make; sudo make install)"
- # Install verilator package
- - "sudo apt-get install verilator"
- - "verilator --version; true"
- # Build and install Migen conda package
- # workaround for https://github.com/conda/conda-build/issues/466
- - "mkdir -p /home/travis/miniconda/conda-bld/linux-64"
- - "conda index /home/travis/miniconda/conda-bld/linux-64"
- - "conda build --python 3.5 conda/migen"
- - "conda install $(conda build --output --python 3.5 conda/migen)"
-
-script:
- # Run tests
- - "python setup.py test"
- # Generate HTML documentation
- - "make -C doc html"
+ - wget https://repo.continuum.io/miniconda/Miniconda3-latest-Linux-x86_64.sh -O miniconda.sh
+ - bash miniconda.sh -b -p $HOME/miniconda
+ - export PATH="$HOME/miniconda/bin:$PATH"
+ - hash -r
+ - conda config --set always_yes yes --set changeps1 no