.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 sources:
  28   - https://git.sr.ht/~macbook/gram
  29 tasks:
  30   - install-python-packages: |
  31       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
  32   - install-yosys: |
  33       cd /tmp
  34       git clone https://github.com/YosysHQ/yosys yosys
  35       cd yosys
  36       make config-gcc
  37       make -j$(nproc)
  38       sudo make install
  39       rm -rf /tmp/yosys
  40   - install-symbiyosys: |
  41       cd /tmp
  42       git clone https://github.com/YosysHQ/SymbiYosys.git SymbiYosys
  43       cd SymbiYosys
  44       sudo make install
  45       rm -rf /tmp/SymbiYosys
  46   - install-yices2: |
  47       cd /tmp
  48       git clone https://github.com/SRI-CSL/yices2.git yices2
  49       cd yices2
  50       autoconf
  51       ./configure
  52       make -j$(nproc)
  53       sudo make install
  54       rm -rf /tmp/yices2
  55   - install-z3: |
  56       git clone https://github.com/Z3Prover/z3.git z3
  57       cd z3
  58       python scripts/mk_make.py
  59       cd build
  60       make -j$(nproc)
  61       sudo make install
  62       rm -rf /tmp/z3
  63   - install-icarus-verilog: |
  64       cd /tmp
  65       git clone git://github.com/steveicarus/iverilog.git iverilog
  66       cd iverilog
  67       autoconf
  68       ./configure
  69       make -j$(nproc)
  70       sudo make install
  71       rm -rf /tmp/iverilog
  72   - install-gram: |
  73       cd ~/gram
  74       python setup.py install --user
  75   - run-tests: |
  76       cd ~/gram
  77       contrib/test