[submodule "abc"]
	path = abc
	url = https://github.com/YosysHQ/abc.git
	branch = master
