.build.yml

   1 image: fedora/31
   2 packages:
   3   - wget
   4   - csh
   5   - git
   6   - gcc-c++
   7   - bison
   8   - flex
   9   - tcl-devel
  10   - readline-devel
  11   - gawk
  12   - libffi-devel
  13   - graphviz
  14   - pkg-config
  15   - python3
  16   - python3-devel
  17   - boost-devel
  18   - boost-python3-devel
  19   - zlib-devel
  20   - cmake
  21   - eigen3-devel
  22   - automake
  23   - autoconf
  24   - gperf
  25   - libyaml-devel
  26   - gmp-devel
  27   - z3-devel
  28   - yices-devel
  29   - yices-tools
  30 sources:
  31   - https://git.sr.ht/~macbook/gram
  32 tasks:
  33   - install-python-packages: |
  34       pip install git+git://github.com/nmigen/nmigen.git git+git://github.com/nmigen/nmigen-boards.git git+git://github.com/nmigen/nmigen-stdio.git git+git://github.com/nmigen/nmigen-soc.git git+git://github.com/lambdaconcept/lambdasoc.git --user
  35       pip list
  36   - install-yosys: |
  37       cd /tmp
  38       git clone https://github.com/YosysHQ/yosys yosys
  39       cd yosys
  40       echo "Yosys Git hash: $(git rev-parse HEAD)"
  41       make config-gcc
  42       make -j$(nproc)
  43       sudo make install
  44       rm -rf /tmp/yosys
  45   - install-symbiyosys: |
  46       cd /tmp
  47       git clone https://github.com/YosysHQ/SymbiYosys.git SymbiYosys
  48       cd SymbiYosys
  49       echo "SymbiYosys Git hash: $(git rev-parse HEAD)"
  50       sudo make install
  51       rm -rf /tmp/SymbiYosys
  52   - install-icarus-verilog: |
  53       cd /tmp
  54       git clone git://github.com/steveicarus/iverilog.git iverilog
  55       cd iverilog
  56       echo "Icarus Verilog Git hash: $(git rev-parse HEAD)"
  57       autoconf
  58       ./configure
  59       make -j$(nproc)
  60       sudo make install
  61       rm -rf /tmp/iverilog
  62   - install-gram: |
  63       cd ~/gram
  64       python setup.py install --user
  65   - run-tests: |
  66       cd ~/gram
  67       contrib/test
  68 shell: false