diff options
Diffstat (limited to 'manual/FILES_Prog/Makefile')
| -rw-r--r-- | manual/FILES_Prog/Makefile | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/manual/FILES_Prog/Makefile b/manual/FILES_Prog/Makefile deleted file mode 100644 index 8e326bdc2..000000000 --- a/manual/FILES_Prog/Makefile +++ /dev/null @@ -1,12 +0,0 @@ -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 - yosys-config --exec --cxx --cxxflags --ldflags -o $@ -shared $^ --ldlibs - -clean: - rm -f test1.log test2.log test3.log - rm -f stubnets.so stubnets.d |