Skip to content

Commit 593488e

Browse files
zeme-wanazeme-wana
authored
Simplify LaTeX Builds (#7058)
1 parent 2772e54 commit 593488e

File tree

27 files changed

+100
-535
lines changed

27 files changed

+100
-535
lines changed

‎.gitignore

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -108,10 +108,10 @@ linkchecker-out.txt
108108
plutus-pab/test-node/testnet/db
109109
plutus-pab/test-node/alonzo-purple/db
110110
*.actual.json
111+
*.sty
111112
# profiling output files
112113
*.timelog
113114
*.stacks
114115
.nvimrc
115116
release-*
116-
.worktrees
117117
TestCert.*

‎doc/cost-model-overview/Makefile

Lines changed: 3 additions & 32 deletions
Original file line numberDiff line numberDiff line change
@@ -1,35 +1,6 @@
1-
DOC=cost-model-overview
2-
3-
PDF=${DOC}.pdf
4-
BIB=${DOC}.bib
5-
6-
SRC = ${DOC}.tex
7-
8-
LATEX = pdflatex -halt-on-error -shell-escape
9-
10-
.PHONEY: all pdf again clean
11-
12-
#----------------------------------------------------------------
13-
14-
all: pdf
15-
16-
pdf: ${PDF}
17-
18-
${DOC}.pdf: ${SRC}
19-
-rm -f ${DOC}.bbl ${DOC}.aux ${DOC}.nls ${DOC}.nlo
20-
${LATEX} ${DOC}
21-
${LATEX} ${DOC} # to make sure the (cross)references are correct
22-
${LATEX} ${DOC}
23-
24-
#----------------------------------------------------------------
25-
again:
26-
touch ${DOC}.tex && ${MAKE}
1+
all:
2+
latexmk -pdf cost-model-overview.tex
273

284
clean:
29-
rm -f *.aux *.log *.cov *.par *.bbl *.fls *.blg *.out *.xml *.bcf *.dvi *.toc *.tdo *.nls *.nlo *.ilg *~
30-
31-
clean2: clean
32-
rm -f ${DOC}.pdf
5+
latexmk -C
336

34-
v: ${PDF}
35-
${PDFVIEWER} ${PDF} 2>/dev/null &

‎doc/extended-utxo-spec/Makefile

Lines changed: 4 additions & 44 deletions
Original file line numberDiff line numberDiff line change
@@ -1,46 +1,6 @@
1-
DOC=extended-utxo-specification
1+
all:
2+
latexmk -pdf extended-utxo-specification.tex
23

3-
PDF=${DOC}.pdf
4-
BIB=${DOC}.bib
5-
6-
FIGS=./figures
7-
8-
SRC = ${DOC}.tex ${BIB}
9-
10-
11-
LATEX = pdflatex -halt-on-error -shell-escape # To get pstricks to work with PDF
12-
BIBTEX = bibtex
13-
14-
.PHONEY: all pdf figs again clean
15-
16-
#----------------------------------------------------------------
17-
18-
all: pdf
19-
20-
pdf: ${PDF}
21-
22-
${DOC}.pdf: ${SRC}
23-
rm -f ${DOC}.bbl
24-
${LATEX} ${DOC}
25-
${BIBTEX} ${DOC}
26-
${LATEX} ${DOC} # to make sure the (cross)references are correct
27-
${LATEX} ${DOC}
28-
${LATEX} ${DOC}
29-
30-
figs:
31-
cd ${FIGS} && ${MAKE}
32-
33-
#----------------------------------------------------------------
34-
again:
35-
touch ${DOC}.tex && ${MAKE}
36-
37-
clean1:
38-
rm -f *.aux *.log *.cov *.par *.bbl *.fls *.blg *.xml *.bcf *.dvi *~
39-
cd ${FIGS} && ${MAKE} clean
40-
41-
clean: clean1
42-
rm -f ${DOC}.pdf
43-
44-
v: ${PDF}
45-
acroread ${PDF} 2>/dev/null
4+
clean:
5+
latexmk -C && rm -f *.bbl *.nlo *.nls *.ist *.thm
466

‎doc/notes/cost-model-notes/Makefile

Lines changed: 3 additions & 39 deletions
Original file line numberDiff line numberDiff line change
@@ -1,42 +1,6 @@
1-
DOC=cost-model-notes
2-
3-
PDF=${DOC}.pdf
4-
5-
FIGS=./figures
6-
7-
SRC = ${DOC}.tex
8-
9-
10-
LATEX = pdflatex -halt-on-error -shell-escape
11-
12-
.PHONEY: all pdf figs again clean
13-
14-
#----------------------------------------------------------------
15-
16-
all: pdf
17-
18-
pdf: ${PDF}
19-
20-
${DOC}.pdf: ${SRC}
21-
-rm -f ${DOC}.bbl ${DOC}.aux
22-
${LATEX} ${DOC}
23-
${LATEX} ${DOC}
24-
${LATEX} ${DOC}
25-
26-
figs:
27-
cd ${FIGS} && ${MAKE}
28-
29-
#----------------------------------------------------------------
30-
again:
31-
touch ${DOC}.tex && ${MAKE}
1+
all:
2+
latexmk -pdf cost-model-notes.tex
323

334
clean:
34-
rm -f *.aux *.log *.cov *.par *.bbl *.fls *.blg *.xml *.bcf *.dvi *~
35-
cd ${FIGS} && ${MAKE} clean
36-
37-
clean2: clean
38-
rm -f ${DOC}.pdf
39-
40-
v: ${PDF}
41-
acroread ${PDF} 2>/dev/null &
5+
latexmk -C && rm -f *.bbl *.nlo *.nls *.ist *.thm
426

‎doc/notes/fomega/cek-cps-experiments/tex/Makefile

Lines changed: 3 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,6 @@
1-
all: results.pdf
2-
3-
results.pdf: results.tex
4-
pdflatex results.tex
5-
pdflatex results.tex
1+
all:
2+
latexmk -pdf results.tex
63

74
clean:
8-
-rm -f *.log *.aux *~
5+
latexmk -C
96

‎doc/notes/fomega/lazy-machine/Makefile

Lines changed: 3 additions & 39 deletions
Original file line numberDiff line numberDiff line change
@@ -1,42 +1,6 @@
1-
DOC=lazy-plutus-core
2-
PDF=${DOC}.pdf
3-
BIB=${DOC}.bib
4-
5-
SRC = ${DOC}.tex ckmachine.tex cekmachine.tex lmachine.tex ${BIB}
6-
7-
8-
FIGS=./figs
9-
10-
LATEX = pdflatex -halt-on-error -shell-escape # To get pstricks to work with PDF
11-
BIBTEX = bibtex
12-
13-
.PHONEY: all pdf v clean # figs pngs
14-
15-
#----------------------------------------------------------------
16-
17-
all: pdf
18-
19-
pdf: ${PDF}
20-
21-
${DOC}.pdf: ${SRC} ${BIB}
22-
${LATEX} ${DOC}
23-
${BIBTEX} ${DOC}
24-
${LATEX} ${DOC} # to make sure the (cross)references are correct
25-
${LATEX} ${DOC}
26-
27-
figs:
28-
cd ${FIGS} && ${MAKE}
29-
30-
pngs:
31-
cd ${FIGS} && ${MAKE} pngs
32-
#----------------------------------------------------------------
33-
34-
v: ${DOC}.pdf
35-
acroread ${DOC}.pdf
1+
all:
2+
latexmk -pdf lazy-plutus-core.tex
363

374
clean:
38-
rm -f *.aux *.log *.cov *.par *.bbl *.fls *.blg *.xml *.bcf *~
39-
# cd ${FIGS} && ${MAKE} clean
5+
latexmk -C && rm -f *.bbl *.nlo *.nls *.ist *.thm
406

41-
clean2:
42-
${MAKE} clean && rm -rf ${PDF}

‎doc/notes/multi-currency/Makefile

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
all:
2+
latexmk -pdf multi-currency.tex
3+
4+
clean:
5+
latexmk -C && rm -f *.bbl *.nlo *.nls *.ist *.thm
6+

‎doc/notes/multi-currency/main.tex renamed to ‎doc/notes/multi-currency/multi-currency.tex

File renamed without changes.

‎doc/papers/eutxo/Makefile

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
all:
2+
latexmk -pdf eutxo.tex
3+
4+
clean:
5+
latexmk -C && rm -f *.bbl *.nlo *.nls *.ist *.thm
6+

‎doc/papers/eutxoma/Makefile

Lines changed: 4 additions & 43 deletions
Original file line numberDiff line numberDiff line change
@@ -1,45 +1,6 @@
1-
DOC=eutxoma
1+
all:
2+
latexmk -pdf eutxoma.tex
23

3-
PDF=${DOC}.pdf
4-
BIB=${DOC}.bib
5-
6-
FIGS=./figures
7-
8-
SRC = *.tex ${BIB}
9-
10-
11-
LATEX = pdflatex -halt-on-error -shell-escape # To get pstricks to work with PDF
12-
BIBTEX = bibtex
13-
14-
.PHONEY: all pdf figs again clean
15-
16-
#----------------------------------------------------------------
17-
18-
all: pdf
19-
20-
pdf: ${PDF}
21-
22-
${DOC}.pdf: ${SRC}
23-
rm -f ${DOC}.bbl
24-
${LATEX} ${DOC}
25-
${BIBTEX} ${DOC}
26-
${LATEX} ${DOC} # to make sure the (cross)references are correct
27-
${LATEX} ${DOC}
28-
29-
figs:
30-
# cd ${FIGS} && ${MAKE}
31-
32-
#----------------------------------------------------------------
33-
again:
34-
touch ${DOC}.tex && ${MAKE}
35-
36-
clean1:
37-
rm -f *.aux *.log *.cov *.par *.bbl *.fls *.blg *.xml *.bcf *.dvi *.out *~
38-
# cd ${FIGS} && ${MAKE} clean
39-
40-
clean: clean1
41-
rm -f ${DOC}.pdf
42-
43-
v: ${PDF}
44-
acroread 2>/dev/null ${PDF}
4+
clean:
5+
latexmk -C && rm -f *.bbl *.nlo *.nls *.ist *.thm
456

‎doc/papers/system-f-in-agda/.gitignore

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1 +1,3 @@
11
*.pdf
2+
# Generated by agda
3+
system-f-in-agda.tex

‎doc/papers/system-f-in-agda/Makefile

Lines changed: 4 additions & 42 deletions
Original file line numberDiff line numberDiff line change
@@ -1,45 +1,7 @@
1-
DOC=paper
2-
BIBFILE =bibliography
3-
PDF=${DOC}.pdf
4-
BIB=${BIBFILE}.bib
5-
6-
LAGDA = ${DOC}.lagda
7-
SRC = ${DOC}.tex ${BIB}
8-
9-
AGDA = agda --latex --latex-dir .
10-
LATEX = pdflatex -halt-on-error -shell-escape # To get pstricks to work with PDF
11-
BIBTEX = bibtex
12-
13-
.PHONEY: all pdf figs again clean
14-
15-
#----------------------------------------------------------------
16-
17-
all: pdf
18-
19-
pdf: ${PDF}
20-
21-
${DOC}.pdf: ${LAGDA}
22-
${AGDA} ${LAGDA}
23-
${LATEX} ${DOC}
24-
${BIBTEX} ${DOC}
25-
${LATEX} ${DOC} # to make sure the (cross)references are correct
26-
${LATEX} ${DOC}
27-
28-
figs:
29-
cd ${FIGS} && ${MAKE}
30-
31-
32-
#----------------------------------------------------------------
33-
34-
again:
35-
touch ${DOC}.lagda && ${MAKE}
1+
all:
2+
agda-with-stdlib --latex system-f-in-agda.lagda --latex-dir .
3+
latexmk -pdf system-f-in-agda.tex
364

375
clean:
38-
rm -f ${DOC}.tex *.aux *.log *.cov *.par *.bbl *.fls *.blg *.xml *.bcf *.dvi *.out *~
39-
40-
clean2: clean
41-
rm -f ${DOC}.pdf
42-
43-
v: ${PDF}
44-
acroread ${PDF}
6+
latexmk -C && rm -f *.bbl *.nlo *.nls *.ist *.thm *.sty *.ptb
457

‎doc/papers/system-f-in-agda/paper.lagda renamed to ‎doc/papers/system-f-in-agda/system-f-in-agda.lagda

File renamed without changes.

‎doc/papers/unraveling-recursion/.gitignore

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,6 @@
11
*.pdf
22
latex
3+
# Generated by agda
4+
IFix.tex
5+
RecursiveData.tex
6+
RecursiveTerms.tex

‎doc/papers/unraveling-recursion/Makefile

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
all:
2+
for f in *.lagda; do \
3+
agda-with-stdlib --latex $$f --latex-dir .; \
4+
done
5+
latexmk -pdf unraveling-recursion.tex
6+
7+
clean:
8+
latexmk -C && rm -f *.bbl *.nlo *.nls *.ist *.thm *.sty *.ptb *.agdai

‎doc/papers/unraveling-recursion/agdaswitch.tex

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
\toggletrue{lagda}

‎doc/papers/utxoma/Makefile

Lines changed: 4 additions & 44 deletions
Original file line numberDiff line numberDiff line change
@@ -1,45 +1,5 @@
1-
DOC=utxoma
2-
3-
PDF=${DOC}.pdf
4-
BIB=${DOC}.bib
5-
6-
FIGS=./figures
7-
8-
SRC = *.tex ${BIB}
9-
10-
11-
LATEX = pdflatex -halt-on-error -shell-escape # To get pstricks to work with PDF
12-
BIBTEX = bibtex
13-
14-
.PHONEY: all pdf figs again clean
15-
16-
#----------------------------------------------------------------
17-
18-
all: pdf
19-
20-
pdf: ${PDF}
21-
22-
${DOC}.pdf: ${SRC}
23-
rm -f ${DOC}.bbl
24-
${LATEX} ${DOC}
25-
${BIBTEX} ${DOC}
26-
${LATEX} ${DOC} # to make sure the (cross)references are correct
27-
${LATEX} ${DOC}
28-
29-
figs:
30-
# cd ${FIGS} && ${MAKE}
31-
32-
#----------------------------------------------------------------
33-
again:
34-
touch ${DOC}.tex && ${MAKE}
35-
36-
clean1:
37-
rm -f *.aux *.log *.cov *.par *.bbl *.fls *.blg *.xml *.bcf *.dvi *.out *~
38-
# cd ${FIGS} && ${MAKE} clean
39-
40-
clean: clean1
41-
rm -f ${DOC}.pdf
42-
43-
v: ${PDF}
44-
acroread 2>/dev/null ${PDF}
1+
all:
2+
latexmk -pdf utxoma.tex
453

4+
clean:
5+
latexmk -C && rm -f *.bbl *.nlo *.nls *.ist *.thm

0 commit comments

Comments
 (0)