.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 yowasp-yosys --user
  35       pip list
  36   - install-gram: |
  37       cd ~/gram
  38       python setup.py install --user
  39   - run-tests: |
  40       alias yosys=yowasp-yosys
  41       cd ~/gram
  42       export YOSYS=yowasp-yosys SBY=yowasp-sby SMTBMC=yowasp-yosys-smtbmc NMIGEN_USE_YOSYS=builtin
  43       contrib/test
  44   - compile-libgram: |
  45       cd ~/gram/libgram
  46       CFLAGS="-DGRAM_RW_FUNC" make TRIPLE=""
  47 shell: false