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