echo "remember to check doDesign core size"
echo "also use yosys 049e3abf9"
+# fetch GDS-II files
+echo "fetching GDS-II files"
+wget http://ftp.libre-soc.org/C4MLogo.gds
+wget http://ftp.libre-soc.org/lip6.gds
+
# initialise/update the pinmux submodule
git submodule update --init --remote