diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-02-11 12:55:58 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-02-11 12:55:58 +0100 |
| commit | 4bd2d47e45eb0354d0096d5310ccfe7a0dc3dbd0 (patch) | |
| tree | 0be03f643d4362b54b2ff132522f170bc2ed2be6 | |
| parent | fb186e6299f9e26f0011c9623f10adcf8eadb304 (diff) | |
| download | yosys-4bd2d47e45eb0354d0096d5310ccfe7a0dc3dbd0.tar.gz yosys-4bd2d47e45eb0354d0096d5310ccfe7a0dc3dbd0.tar.bz2 yosys-4bd2d47e45eb0354d0096d5310ccfe7a0dc3dbd0.zip | |
Improved "make manual" and "make clean"
| -rw-r--r-- | Makefile | 14 | ||||
| -rw-r--r-- | manual/APPNOTE_011_Design_Investigation/make.sh | 4 | ||||
| -rwxr-xr-x | manual/appnotes.sh | 2 | ||||
| -rwxr-xr-x | manual/clean.sh | 2 |
4 files changed, 13 insertions, 9 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) + 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 test ! -f libs/svgviewer/Makefile || make -C libs/svgviewer distclean mrproper: clean diff --git a/manual/APPNOTE_011_Design_Investigation/make.sh b/manual/APPNOTE_011_Design_Investigation/make.sh index fa3ca70eb..3845dac6b 100644 --- a/manual/APPNOTE_011_Design_Investigation/make.sh +++ b/manual/APPNOTE_011_Design_Investigation/make.sh @@ -18,6 +18,6 @@ if false; then sed -i '/^label=/ d;' *.dot fi for dot_file in *.dot; do - pdf_file=${dot_file#.dot}.pdf - dot -Tpdf -o example_00.pdf example_00.dot + pdf_file=${dot_file%.dot}.pdf + dot -Tpdf -o $pdf_file $dot_file done diff --git a/manual/appnotes.sh b/manual/appnotes.sh index f816956ab..1160af6af 100755 --- a/manual/appnotes.sh +++ b/manual/appnotes.sh @@ -11,7 +11,7 @@ do fi old_md5=$([ -f $job.aux ] && md5sum < $job.aux || true) while - pdflatex -shell-escape -halt-on-error $job.tex + pdflatex -shell-escape -halt-on-error $job.tex || exit new_md5=$(md5sum < $job.aux) [ "$old_md5" != "$new_md5" ] do diff --git a/manual/clean.sh b/manual/clean.sh new file mode 100755 index 000000000..13554c01b --- /dev/null +++ b/manual/clean.sh @@ -0,0 +1,2 @@ +#!/bin/bash +for f in $( find -name .gitignore ); do sed -re "s,^,find ${f%.gitignore} -name ',; s,$,' | xargs -r rm -vf,;" $f; done | bash -v |