+ # see file counter_test/build/arty_100/top.bit
+
+### Build counter test for arty_35
+
+ TARGET="arty_35" make -C counter_test
+
+ # Should produce top.bit bitstream
+ # see file counter_test/build/arty_/top.bit
+
+### Build picosoc demo for arty_100
+
+TARGET="arty_100" make -C picosoc_demo
+
+ # Should produce top.bit bitstream
+ # see file picosoc_demo/build/arty_100/top.bit
+
+### Build picosoc demo for arty_35
+
+TARGET="arty_35" make -C picosoc_demo
+
+ # Should produce top.bit bitstream
+ # see file picosoc_demo/build/arty_35/top.bit
+
+### Build Linux Litex Demo for arty_100
+
+TARGET="arty_100" make -C linux_litex_demo
+
+ # Should produce top.bit bitstream
+ # see file linux_litex_demo/build/arty_100/top.bit
+
+### Build Linux Litex Demo for arty_35
+
+TARGET="arty_35" make -C linux_litex_demo
+
+ # Should produce top.bit bitstream
+ # see file linux_litex_demo/build/arty_35/top.bit
+
+ cd ../..
+
+## Steps to compile symbiflow-examples Litex
+
+### Get Litex
+
+ mkdir litex
+ cd litex
+
+ git clone https://github.com/m-labs/migen
+ git clone https://github.com/litex-hub/pythondata-software-compiler_rt
+ git clone https://github.com/enjoy-digital/litex
+ git clone https://github.com/enjoy-digital/litedram
+ git clone https://github.com/enjoy-digital/liteeth
+ git clone https://github.com/enjoy-digital/liteiclink
+ git clone https://github.com/enjoy-digital/litesdcard
+ git clone https://github.com/litex-hub/litespi
+ git clone https://github.com/litex-hub/litex-boards
+ git clone https://github.com/litex-hub/pythondata-cpu-picorv32
+ git clone https://github.com/litex-hub/pythondata-cpu-vexriscv
+ git clone https://github.com/litex-hub/pythondata-software-picolibc.git
+
+### Build Litex
+
+* Git Commits
+
+ migen=6e3f8e565704b4293174aedfb15b3470d233f528
+ pythondata-software-compiler_rt=fcb03245613ccf3079cc833a701f13d0beaae09d
+ litex=db20cb172dc982c5879aa8080ec7aa18de181cc5
+ litedram=1d5192f572c2eb97bc85eb56667e25dc88d725f1
+ liteeth=8ecc3ca6d9476dd1a8b32b2b6bf3584cd6dcfc02
+ liteiclink=3d8ecdbcf9f0260292221ff63b0ad3f5e409a955
+ litesdcard=4edf05e627a8b5f03e632215accec8ab588737e3
+ litespi=4cb907881bb75999e4c6bb68e211dd5cfc301de9
+ litex-boards=9e18d9bc34bafb18839512a55dc66ba62e0d4824
+ pythondata-cpu-picorv32=2e8be513726fb6ffd960f7e18d24e3a86d895107
+ pythondata-cpu-vexriscv=c4eca1837ebca20b637a0a61e3a93d9446488459
+ pythondata-software-picolibc=e27c8a7ef8a8e75b6474823aae338efb1a2ca1a9
+
+ for pkg in migen pythondata-software-compiler_rt litex litedram liteeth liteiclink litesdcard litespi litex-boards pythondata-cpu-picorv32 pythondata-cpu-vexriscv pythondata-software-picolibc; do
+ cd "$pkg"
+ eval git checkout $`echo $pkg`
+ pip3 install -e .
+ cd ..
+ done
+
+#### Build Litex Demo
+
+ cd litex-boards
+
+ # Arty 100T Picorv32
+ ./litex_boards/targets/digilent_arty.py --toolchain=symbiflow --cpu-type=picorv32 --sys-clk-freq 80e6 --output-dir build/picorv32/arty_100 --variant a7-100 --build --no-compile-software
+ # see file build/picorv32/arty_100/gateware/digilent_arty.bit
+ # this is the built bitstream
+
+ # Arty 100T VexRiscv
+
+ ./litex_boards/targets/digilent_arty.py --toolchain=symbiflow --cpu-type=vexriscv --sys-clk-freq 80e6 --output-dir build/vexriscv/arty_100 --variant a7-100 --build --no-compile-software
+ # see file build/vexriscv/arty_100/gateware/digilent_arty.bit
+ # this is the built bitstream
+
+ # Arty 35T Picorv32
+
+ ./litex_boards/targets/digilent_arty.py --toolchain=symbiflow --cpu-type=picorv32 --sys-clk-freq 80e6 --output-dir build/picorv32/arty_35 --variant a7-35 --build --no-compile-software
+ # see file build/picorv32/arty_35/gateware/digilent_arty.bit
+ # this is the built bitstream
+
+ # Arty 35T VexRiscv
+
+ ./litex_boards/targets/digilent_arty.py --toolchain=symbiflow --cpu-type=vexriscv --sys-clk-freq 80e6 --output-dir build/vexriscv/arty_35 --variant a7-35 --build --no-compile-software
+ # see file build/vexriscv/arty_35/gateware/digilent_arty.bit
+ # this is the built bitstream
+