diff options
author | Ahmed Irfan <irfan@ubuntu.(none)> | 2014-02-11 13:26:43 +0100 |
---|---|---|
committer | Ahmed Irfan <irfan@ubuntu.(none)> | 2014-02-11 13:26:43 +0100 |
commit | 1a2dc48c2ab8a809e345e1e62cc3f81fe7fd9485 (patch) | |
tree | 77ac37122e5107db08086aab9a319337bc8a6e73 /Makefile | |
parent | e8f6b8f201c0ead8c17f9c9ae4de3e859e9e13ef (diff) | |
parent | d2fd45949d0984635c9f1253416281413c03d02b (diff) | |
download | yosys-1a2dc48c2ab8a809e345e1e62cc3f81fe7fd9485.tar.gz yosys-1a2dc48c2ab8a809e345e1e62cc3f81fe7fd9485.tar.bz2 yosys-1a2dc48c2ab8a809e345e1e62cc3f81fe7fd9485.zip |
Merge branch 'master' of https://github.com/cliffordwolf/yosys into btor
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 15 |
1 files changed, 9 insertions, 6 deletions
@@ -146,15 +146,17 @@ install: $(TARGETS) $(EXTRA_TARGETS) $(INSTALL_SUDO) mkdir -p $(DESTDIR)/share/yosys $(INSTALL_SUDO) cp -r share/. $(DESTDIR)/share/yosys/. -manual: +manual: $(TARGETS) $(EXTRA_TARGETS) + cd manual && bash appnotes.sh + cd manual && bash presentation.sh cd manual && bash manual.sh clean: - rm -rf share - rm -f $(OBJS) $(GENFILES) $(TARGETS) - rm -f kernel/version_*.o kernel/version_*.cc abc/abc-[0-9a-f]* - rm -f libs/*/*.d frontends/*/*.d passes/*/*.d backends/*/*.d kernel/*.d - cd manual && rm -f *.aux *.bbl *.blg *.idx *.log *.out *.pdf *.toc *.ok + rm -rvf share + cd manual && bash clean.sh + rm -vf $(OBJS) $(GENFILES) $(TARGETS) $(EXTRA_TARGETS) + rm -vf kernel/version_*.o kernel/version_*.cc abc/abc-[0-9a-f]* + rm -vf libs/*/*.d frontends/*/*.d passes/*/*.d backends/*/*.d kernel/*.d techlibs/*/*.d test ! -f libs/svgviewer/Makefile || make -C libs/svgviewer distclean mrproper: clean @@ -191,6 +193,7 @@ config-sudo: -include passes/*/*.d -include backends/*/*.d -include kernel/*.d +-include techlibs/*/*.d .PHONY: all top-all abc test install install-abc manual clean mrproper qtcreator .PHONY: config-clean config-clang-debug config-gcc-debug config-release |