diff options
Diffstat (limited to 'build/Makefile')
-rw-r--r-- | build/Makefile | 37 |
1 files changed, 9 insertions, 28 deletions
diff --git a/build/Makefile b/build/Makefile index 9b72b01..fad4fbc 100644 --- a/build/Makefile +++ b/build/Makefile @@ -14,7 +14,7 @@ # for generating documentation in various formats (PDF, HTML). # Build Targets -TARGETS := priv unpriv priv-html unpriv-html priv-latex +TARGETS := priv unpriv priv-html unpriv-html # Declare phony targets .PHONY: all $(TARGETS) clean @@ -22,8 +22,14 @@ TARGETS := priv unpriv priv-html unpriv-html priv-latex # Default target builds all all: $(TARGETS) +# Build with preinstalled docker container; first install it with: +# docker pull riscvintl/riscv-docs-base-container-image:latest +docker: + cd .. && docker run -it -v .:/build riscvintl/riscv-docs-base-container-image:latest /bin/sh -c 'cd ./build; make $(MAKEFLAGS)' + # Asciidoctor options -ASCIIDOCTOR_OPTS := --attribute=mathematical-format=svg \ +ASCIIDOCTOR_OPTS := -a compress \ + --attribute=mathematical-format=svg \ --failure-level=ERROR \ --require=asciidoctor-bibtex \ --require=asciidoctor-diagram \ @@ -33,15 +39,6 @@ ASCIIDOCTOR_OPTS := --attribute=mathematical-format=svg \ # Source directory SRCDIR := ../src -# LaTeX source and related files -#SRCS := $(wildcard $(SRCDIR)/latex/*.tex) -#FIGS := $(wildcard $(SRCDIR)/latex/figs/*) -#BIBS := $(SRCDIR)/latex/riscv-spec.bib - -# LaTeX build tools -#PDFLATEX := TEXINPUTS=$(SRCDIR)/latex: pdflatex -interaction=nonstopmode -halt-on-error -#BIBTEX := BIBINPUTS=$(SRCDIR)/latex: bibtex - # Temporary files to clean up for LaTeX build JUNK := *.pdf *.aux *.log *.bbl *.blg *.toc *.out *.fdb_latexmk *.fls *.synctex.gz @@ -77,15 +74,6 @@ unpriv-isa-asciidoc.html: $(SRCDIR)/riscv-unprivileged.adoc @echo "Building Unprivileged ISA HTML" asciidoctor $(ASCIIDOCTOR_OPTS) --out-file=$@ $< -# LaTeX build for Privileged ISA -#priv-latex: riscv-privileged.pdf - -#riscv-privileged.pdf: $(SRCDIR)/latex/riscv-privileged.tex $(SRCS) $(FIGS) $(BIBS) -# $(PDFLATEX) riscv-privileged -# $(BIBTEX) riscv-privileged -# $(PDFLATEX) riscv-privileged -# $(PDFLATEX) riscv-privileged - clean: @if [ -f priv-isa-asciidoc.pdf ]; then \ echo "Removing priv-isa-asciidoc.pdf"; \ @@ -103,11 +91,4 @@ clean: echo "Removing unpriv-isa-asciidoc.html"; \ rm -f unpriv-isa-asciidoc.html; \ fi -# @echo "Cleaning up files from LaTeX build" -# @cd $(SRCDIR)/latex; \ -# for file in $(JUNK); do \ -# if [ -f "$$file" ]; then \ -# echo "Removing $$file"; \ -# rm -f "$$file"; \ -# fi; \ -# done + |