1 files changed, 14 insertions, 0 deletions
diff --git a/manual/FILES_Prog/Makefile b/manual/FILES_Prog/Makefile
new file mode 100644
index 000000000..d73581882
--- /dev/null
+++ b/manual/FILES_Prog/Makefile
@@ -0,0 +1,14 @@
+
+test: stubnets.so
+	yosys -q -l test1.log -m ./stubnets.so test.v -p "proc; stubnets"
+	yosys -q -l test2.log -m ./stubnets.so test.v -p "proc; opt; stubnets"
+	yosys -q -l test3.log -m ./stubnets.so test.v -p "proc; 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
+