add missing packages

[soc.git] / .gitlab-ci.yml

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index d39c2adae9317be6abdb32bc25f35a33414395e1..55a251928cac5019010ec5704273f15ae7968542 100644 (file)
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -13,6 +13,8 @@ build:
             build-essential git python3-dev python3-pip
             python3-setuptools python3-wheel pkg-config tcl-dev
             libreadline-dev bison flex libffi-dev ccache python3-venv
+            binutils-powerpc64-linux-gnu binutils-powerpc64le-linux-gnu
+            autoconf gperf libgmp-dev
         - export PATH="/usr/lib/ccache:$PATH"
         - export CCACHE_BASEDIR="$PWD"
         - export CCACHE_DIR="$PWD/ccache"
@@ -27,6 +29,14 @@ build:
         - . .env/bin/activate
         - pip install nose
 
+        - git clone --depth 1 https://github.com/SRI-CSL/yices2.git yices2
+        - pushd yices2
+        - autoconf
+        - ./configure
+        - make -j$(nproc)
+        - make install
+        - popd
+
         - git clone --depth 1 https://github.com/YosysHQ/yosys.git yosys
         - pushd yosys
         - make config-gcc
@@ -68,4 +78,5 @@ build:
         - popd
 
         - python setup.py develop
+        - python src/soc/decoder/pseudo/pywriter.py
         - nosetests -v --processes=-1