diff options
author | Clifford Wolf <clifford@clifford.at> | 2013-07-20 15:19:12 +0200 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2013-07-20 15:19:12 +0200 |
commit | 61ed6b32d1f5fbfda9c6effdaa678092f8156bfa (patch) | |
tree | 3a53692cbd93a09eabeb67eff5e9e4ace5cf1a3e /manual/FILES_Prog/Makefile | |
parent | 3650fd7fbe45a00792770d9ecb9397bc27ea0845 (diff) | |
download | yosys-61ed6b32d1f5fbfda9c6effdaa678092f8156bfa.tar.gz yosys-61ed6b32d1f5fbfda9c6effdaa678092f8156bfa.tar.bz2 yosys-61ed6b32d1f5fbfda9c6effdaa678092f8156bfa.zip |
Added Yosys Manual
Diffstat (limited to 'manual/FILES_Prog/Makefile')
-rw-r--r-- | manual/FILES_Prog/Makefile | 14 |
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 + |