summaryrefslogtreecommitdiff
path: root/manual/FILES_Prog/Makefile
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2014-01-28 06:55:47 +0100
committerClifford Wolf <clifford@clifford.at>2014-01-28 06:55:47 +0100
commit2cb47355d4b3e8021a88f68f7a5f33ce46ff51b0 (patch)
tree83a3e52f3a46f2db264106798e416da63e7ae743 /manual/FILES_Prog/Makefile
parent842ca2f011a6030faccc690986accb0ca8035ec8 (diff)
Renamed manual/FILES_* directories
Diffstat (limited to 'manual/FILES_Prog/Makefile')
-rw-r--r--manual/FILES_Prog/Makefile12
1 files changed, 0 insertions, 12 deletions
diff --git a/manual/FILES_Prog/Makefile b/manual/FILES_Prog/Makefile
deleted file mode 100644
index 8e326bdc..00000000
--- 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