echo "also use yosys 049e3abf9"
if [ "${USER}" = "jpc" ]; then echo "Using \"jpc\" configuration."; fi
+# 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
if [ "${USER}" = "jpc" ]; then
# Must be done in the root of the repository when cloning anew.