.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       pip list
  33   - install-yosys: |
  34       cd /tmp
  35       git clone https://github.com/YosysHQ/yosys yosys
  36       cd yosys
  37       echo "Yosys Git hash: $(git rev-parse HEAD)"
  38       make config-gcc
  39       make -j$(nproc)
  40       sudo make install
  41       rm -rf /tmp/yosys
  42   - install-symbiyosys: |
  43       cd /tmp
  44       git clone https://github.com/YosysHQ/SymbiYosys.git SymbiYosys
  45       cd SymbiYosys
  46       echo "SymbiYosys Git hash: $(git rev-parse HEAD)"
  47       sudo make install
  48       rm -rf /tmp/SymbiYosys
  49   - install-yices2: |
  50       cd /tmp
  51       git clone https://github.com/SRI-CSL/yices2.git yices2
  52       cd yices2
  53       echo "Yices2 Git hash: $(git rev-parse HEAD)"
  54       autoconf
  55       ./configure
  56       make -j$(nproc)
  57       sudo make install
  58       rm -rf /tmp/yices2
  59   - install-z3: |
  60       git clone https://github.com/Z3Prover/z3.git z3
  61       cd z3
  62       echo "z3 Git hash: $(git rev-parse HEAD)"
  63       python scripts/mk_make.py
  64       cd build
  65       make -j$(nproc)
  66       sudo make install
  67       rm -rf /tmp/z3
  68   - install-icarus-verilog: |
  69       cd /tmp
  70       git clone git://github.com/steveicarus/iverilog.git iverilog
  71       cd iverilog
  72       echo "Icarus Verilog Git hash: $(git rev-parse HEAD)"
  73       autoconf
  74       ./configure
  75       make -j$(nproc)
  76       sudo make install
  77       rm -rf /tmp/iverilog
  78   - install-gram: |
  79       cd ~/gram
  80       python setup.py install --user
  81   - run-tests: |
  82       cd ~/gram
  83       contrib/test