28 - https://git.sr.ht/~macbook/gram
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
35 git clone https://github.com/YosysHQ/yosys yosys
37 echo "Yosys Git hash: $(git rev-parse HEAD)"
42 - install-symbiyosys: |
44 git clone https://github.com/YosysHQ/SymbiYosys.git SymbiYosys
46 echo "SymbiYosys Git hash: $(git rev-parse HEAD)"
48 rm -rf /tmp/SymbiYosys
51 git clone https://github.com/SRI-CSL/yices2.git yices2
53 echo "Yices2 Git hash: $(git rev-parse HEAD)"
60 git clone https://github.com/Z3Prover/z3.git z3
62 echo "z3 Git hash: $(git rev-parse HEAD)"
63 python scripts/mk_make.py
68 - install-icarus-verilog: |
70 git clone git://github.com/steveicarus/iverilog.git iverilog
72 echo "Icarus Verilog Git hash: $(git rev-parse HEAD)"
80 python setup.py install --user