yosys/manual/FILES_Prog/Makefile

test: stubnets.so
	yosys -ql test1.log -m ./stubnets.so test.v -p "stubnets"
	yosys -ql test2.log -m ./stubnets.so test.v -p "opt; stubnets"
	yosys -ql test3.log -m ./stubnets.so test.v -p "techmap; opt; stubnets -report_bits"
	tail test1.log test2.log test3.log

stubnets.so: stubnets.cc
	$(shell yosys-config --cxx --cxxflags --ldflags -o stubnets.so \
	                           -shared stubnets.cc --ldlibs )

clean:
	rm -f test1.log test2.log test3.log
	rm -f stubnets.so stubnets.d