.gitlab-ci.yml

   1 image: debian:10
   2
   3 cache:
   4     when: always
   5     paths:
   6         - ccache
   7
   8 build:
   9     stage: build
  10     before_script:
  11         - apt-get update
  12         # one package per line to simplify sorting, git diff, etc.
  13         - >-
  14             apt-get -y install --no-install-recommends
  15             autoconf
  16             binutils-powerpc64-linux-gnu
  17             binutils-powerpc64le-linux-gnu
  18             bison
  19             build-essential
  20             ccache
  21             clang
  22             cmake
  23             curl
  24             flex
  25             gawk
  26             git
  27             gperf
  28             libboost-program-options-dev
  29             libffi-dev
  30             libftdi-dev
  31             libgmp-dev
  32             libreadline-dev
  33             mercurial
  34             pkg-config
  35             python
  36             python3
  37             python3-dev
  38             python3-pip
  39             python3-setuptools
  40             python3-setuptools-scm
  41             python3-wheel
  42             qemu-system-ppc
  43             tcl-dev
  44         - export PATH="$HOME/.local/bin:/usr/lib/ccache:$PATH"
  45         - export CCACHE_BASEDIR="$PWD"
  46         - export CCACHE_DIR="$PWD/ccache"
  47         - export CCACHE_COMPILERCHECK=content
  48         - ccache --zero-stats || true
  49         - ccache --show-stats || true
  50         - python3 -m pip install --user pytest-xdist==3.3.1 pytest==7.3.1
  51     script:
  52         - git clone --depth 1 -b yosys-0.17 https://github.com/YosysHQ/yosys.git yosys
  53         - pushd yosys
  54         - make config-gcc
  55         - make -j$(nproc)
  56         - make install
  57         - popd
  58         - yosys -V
  59
  60         - git clone https://github.com/YosysHQ/SymbiYosys.git SymbiYosys
  61         - pushd SymbiYosys
  62         - git checkout d10e472edf4ea9be3aa6347b264ba575fbea933a
  63         - make install
  64         - popd
  65
  66         - git clone --depth 1 -b Yices-2.6.4 https://github.com/SRI-CSL/yices2.git yices2
  67         - pushd yices2
  68         - autoconf
  69         - ./configure
  70         - make -j$(nproc)
  71         - make install
  72         - popd
  73
  74         - git clone --depth 1 -b z3-4.8.17 https://github.com/Z3Prover/z3.git z3
  75         - pushd z3
  76         - python scripts/mk_make.py
  77         - cd build
  78         - make -j$(nproc)
  79         - make install
  80         - popd
  81
  82         - git clone --depth 1 https://gitlab.com/nmigen/nmigen.git nmigen
  83         - pushd nmigen
  84         - git rev-parse HEAD
  85         - python3 setup.py develop
  86         - popd
  87
  88         - git clone --depth 1 https://git.libre-soc.org/git/mdis.git mdis
  89         - pushd mdis
  90         - git rev-parse HEAD
  91         - python3 setup.py develop
  92         - popd
  93
  94         - git clone --depth 1 https://git.libre-soc.org/git/nmutil.git nmutil
  95         - pushd nmutil
  96         - git rev-parse HEAD
  97         - python3 setup.py develop
  98         - popd
  99
 100         - git clone --depth 1 https://git.libre-soc.org/git/pytest-output-to-files.git pytest-output-to-files
 101         - pushd pytest-output-to-files
 102         - git rev-parse HEAD
 103         - python3 setup.py develop
 104         - popd
 105
 106         - python3 setup.py develop
 107
 108         - make generate &> generate.log || { cat generate.log; false; }
 109
 110         - SILENCELOG='!*,default' pytest -v --maxfail=10