diff options
| author | KrystalDelusion <93062060+KrystalDelusion@users.noreply.github.com> | 2022-11-25 03:56:44 +1300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-11-24 15:56:44 +0100 |
| commit | b9b5899cceb392c0069345c5b43c37bfe8346116 (patch) | |
| tree | 557cb31d96b2224891c7ed37a9b25d3d8caa7d2e /docs/source/CHAPTER_Prog/Makefile | |
| parent | fc2f622a27dbc604a4acce68bea8c20b208c1742 (diff) | |
| download | yosys-b9b5899cceb392c0069345c5b43c37bfe8346116.tar.gz yosys-b9b5899cceb392c0069345c5b43c37bfe8346116.tar.bz2 yosys-b9b5899cceb392c0069345c5b43c37bfe8346116.zip | |
Remove docs dependency on yosys repo (#3558)
* Copies guidelines files into docs/ for website
* Copying manual/CHAPTER_Prog for new docs
* Copying manual/APPNOTE_011... for new docs
Also adding faketime to list of packages for website build.
Co-authored-by: KrystalDelusion <krystinedawn@yosyshq.com>
Diffstat (limited to 'docs/source/CHAPTER_Prog/Makefile')
| -rw-r--r-- | docs/source/CHAPTER_Prog/Makefile | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/docs/source/CHAPTER_Prog/Makefile b/docs/source/CHAPTER_Prog/Makefile new file mode 100644 index 000000000..8e326bdc2 --- /dev/null +++ b/docs/source/CHAPTER_Prog/Makefile @@ -0,0 +1,12 @@ +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 |