build:
stage: build
+ timeout: 2h
before_script:
- mkdir -p apt-cache
- apt-get -o dir::cache::archives="$(pwd)/apt-cache" update
- pushd yices2
- autoconf
- ./configure
- - make -j$(nproc)
+ - make -j$(nproc) > /dev/null
- make install
- popd
- git clone --depth 1 https://github.com/YosysHQ/yosys.git yosys
- pushd yosys
- make config-gcc
- - make -j$(nproc)
+ - make -j$(nproc) > /dev/null
- make install
- popd
- yosys -V
- git clone --depth 1 https://github.com/YosysHQ/SymbiYosys.git SymbiYosys
- pushd SymbiYosys
- - make install
+ - make install > /dev/null
- popd
- git clone --depth 1 https://github.com/nmigen/nmigen.git nmigen
- git clone --depth 1 https://git.libre-soc.org/git/openpower-isa.git openpower-isa
- pushd openpower-isa
- python3 setup.py develop
- - make svanalysis
- - make pywriter
+ - make -j$(nproc) svanalysis > /dev/null
+ - make -j$(nproc) pyfnwriter > /dev/null 2>&1
+ - make -j$(nproc) pywriter > /dev/null 2>&1
- popd
- git clone --depth 1 https://git.libre-soc.org/git/c4m-jtag.git c4m-jtag
- popd
- python setup.py develop
- - pywriter
- nosetests -v --processes=-1 --process-timeout=120