diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-04-04 21:13:52 +0100 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-04-04 21:13:52 +0100 |
commit | ac439cf62255ab38da940eb7bba0ccc00fc835f2 (patch) | |
tree | 197539ac6c5e7e6a08e91dc42e76a4ee14bb44ac /reproduce/src/make/paper.mk | |
parent | 2d75d867e638ef95d7d05c5a05cf1a372be50c82 (diff) |
Dependency version LaTeX macros written at the end of configure
Until now, these versions were written in each run. This was mainly
inherited from the old days of the pipeline, where we didn't know the
software on the host. But now that we have almost everything under control,
we can just write these LaTeX macros at the end of the configure script and
make `initialize.mk' simpler and also (very slightly!) speed-up/simplify
the processing.
Diffstat (limited to 'reproduce/src/make/paper.mk')
-rw-r--r-- | reproduce/src/make/paper.mk | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/reproduce/src/make/paper.mk b/reproduce/src/make/paper.mk index d148c08..af9a70e 100644 --- a/reproduce/src/make/paper.mk +++ b/reproduce/src/make/paper.mk @@ -54,7 +54,8 @@ $(mtexdir)/pipeline.tex: $(foreach s, $(subst paper,,$(makesrc)), $(mtexdir)/$(s if [ ! -e tex/pipeline ]; then ln -s $(texdir) tex/pipeline; fi # Put a LaTeX input command for all the necessary macro files. - rm -f $(mtexdir)/pipeline.tex + echo "\input{tex/pipeline/macros/dependency-versions.tex}" \ + > $(mtexdir)/pipeline.tex for t in $(subst paper,,$(makesrc)); do echo "\input{tex/pipeline/macros/$$t.tex}" >> $(mtexdir)/pipeline.tex done |