From: Sebastien Bourdeauducq Date: Sat, 14 Mar 2020 07:32:01 +0000 (+0800) Subject: rm travis-ci X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f8c33da79bd04ad3496a754488d400981d1460a1;p=nmigen.git rm travis-ci --- diff --git a/.travis.yml b/.travis.yml deleted file mode 100644 index e6614c0..0000000 --- a/.travis.yml +++ /dev/null @@ -1,31 +0,0 @@ -dist: xenial -language: python -python: - - "3.6" - - "3.7" - - "3.8" - - "pypy3" -cache: - directories: - - "$HOME/.ccache" - - "$HOME/.local" -addons: - apt: - packages: - - gperf -before_install: - - export PATH="/usr/lib/ccache:$HOME/.local/bin:$PATH" -install: - - pip install coverage codecov pyvcd Jinja2 - - git clone https://github.com/YosysHQ/yosys - - (cd yosys && if ! yosys -V || [ $(git rev-parse HEAD $(yosys -V | awk 'match($0,/sha1 ([0-9a-f]+)/,m) { print m[1] }') | uniq | wc -l) != 1 ]; then make CONFIG=gcc ENABLE_ABC=0 PREFIX=$HOME/.local install; fi) - - (git clone https://github.com/YosysHQ/SymbiYosys && cd SymbiYosys && make PREFIX=$HOME/.local install) - - if ! yices -V; then (git clone https://github.com/SRI-CSL/yices2.git && cd yices2 && autoconf && ./configure --prefix=$HOME/.local && make && make install); fi -script: - - python setup.py develop - - coverage run -m unittest discover - - codecov -matrix: - fast_finish: true - allow_failures: - - python: "pypy3"