change to use plain_data.fields

[nmigen-gf.git] / .gitlab-ci.yml

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 1643b9ae7b52930edf9ed5307d98b8c4577f1bc2..12176f3eadb5990e82397a80ac16460e1fa7a1d0 100644 (file)
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -1,6 +1,7 @@
 image: debian:10
 
 cache:
+    when: always
     paths:
         - ccache
 
@@ -22,7 +23,6 @@ build:
             gawk
             git
             gperf
-            graphviz
             libboost-program-options-dev
             libffi-dev
             libftdi-dev
@@ -37,7 +37,6 @@ build:
             python3-setuptools
             python3-wheel
             tcl-dev
-            xdot
         - export PATH="$HOME/.local/bin:/usr/lib/ccache:$PATH"
         - export CCACHE_BASEDIR="$PWD"
         - export CCACHE_DIR="$PWD/ccache"
@@ -46,33 +45,30 @@ build:
         - ccache --show-stats || true
         - python3 -m pip install --user pytest-xdist
     script:
-        - git clone --depth 1 https://github.com/YosysHQ/yosys.git yosys
+        - git clone --depth 1 -b yosys-0.17 https://github.com/YosysHQ/yosys.git yosys
         - pushd yosys
-        - git rev-parse HEAD
         - make config-gcc
         - make -j$(nproc)
         - make install
         - popd
         - yosys -V
 
-        - git clone --depth 1 https://github.com/YosysHQ/SymbiYosys.git SymbiYosys
+        - git clone https://github.com/YosysHQ/SymbiYosys.git SymbiYosys
         - pushd SymbiYosys
-        - git rev-parse HEAD
+        - git checkout d10e472edf4ea9be3aa6347b264ba575fbea933a
         - make install
         - popd
 
-        - git clone --depth 1 https://github.com/SRI-CSL/yices2.git yices2
+        - git clone --depth 1 -b Yices-2.6.4 https://github.com/SRI-CSL/yices2.git yices2
         - pushd yices2
-        - git rev-parse HEAD
         - autoconf
         - ./configure
         - make -j$(nproc)
         - make install
         - popd
 
-        - git clone --depth 1 https://github.com/Z3Prover/z3.git z3
+        - git clone --depth 1 -b z3-4.8.17 https://github.com/Z3Prover/z3.git z3
         - pushd z3
-        - git rev-parse HEAD
         - python scripts/mk_make.py
         - cd build
         - make -j$(nproc)
@@ -93,4 +89,4 @@ build:
 
         - python3 setup.py develop
 
-        - pytest -n auto
+        - pytest -n auto src/nmigen_gf