GitLab-CI limits log output to 4 MiB, which the build job currently
exceeds. Trim the output of some of the earlier steps, to make it
possible to figure out what went wrong in the later steps.
- pushd yices2
- autoconf
- ./configure
- pushd yices2
- autoconf
- ./configure
+ - 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 install
- popd
- git clone --depth 1 https://github.com/YosysHQ/yosys.git yosys
- pushd yosys
- make config-gcc
+ - 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
- popd
- yosys -V
- git clone --depth 1 https://github.com/YosysHQ/SymbiYosys.git SymbiYosys
- pushd SymbiYosys
+ - make install > /dev/null
- popd
- git clone --depth 1 https://github.com/nmigen/nmigen.git nmigen
- 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
- 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) pywriter > /dev/null
- popd
- git clone --depth 1 https://git.libre-soc.org/git/c4m-jtag.git c4m-jtag
- popd
- git clone --depth 1 https://git.libre-soc.org/git/c4m-jtag.git c4m-jtag
- popd
- python setup.py develop
- popd
- python setup.py develop
- nosetests -v --processes=-1 --process-timeout=120
- nosetests -v --processes=-1 --process-timeout=120