aboutsummaryrefslogtreecommitdiff
path: root/reproduce/config
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2018-02-15 12:06:31 +0100
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2018-02-15 12:17:05 +0100
commite45ac9f074a62a0dab26e4de86e4c97458384d18 (patch)
tree40a2d6ae2c0d132a238f894f14a1df1ef517ea55 /reproduce/config
parent1d96c2922549e68922a86d307589f50a4c2b6e1b (diff)
Choice to build final PDF removed from LOCAL settings
The previous change where we had set the building of the PDF as a local (and thus not version controlled) setting was not good, because different commits might be made without the high-level preparations for the final PDF (especially during the initial/testing phases of a research). Therefore, if the runner of the pipeline is ignorant to this, they may hit some errors in LaTeX which can be frustrating. To have a clean reproduction, it is thus necessary to have the choice of pdf-building under version control along with the rest of the pipeline.
Diffstat (limited to 'reproduce/config')
-rw-r--r--reproduce/config/pipeline/LOCAL.mk.in19
-rw-r--r--reproduce/config/pipeline/pdf-build.mk14
2 files changed, 14 insertions, 19 deletions
diff --git a/reproduce/config/pipeline/LOCAL.mk.in b/reproduce/config/pipeline/LOCAL.mk.in
index e5a9f96..896df2f 100644
--- a/reproduce/config/pipeline/LOCAL.mk.in
+++ b/reproduce/config/pipeline/LOCAL.mk.in
@@ -48,22 +48,3 @@ SURVEY = reproduce/SURVEY
# more easy: the contents of the build directory do not need to be backed
# up since they can be reproduced and they can be large.
BDIR = reproduce/BDIR
-
-
-
-
-
-# Make the final PDF?
-# -------------------
-#
-# During the testing a pipeline, it is usually not necessary to build
-# the PDF file (which makes a lot of output lines on the command-line
-# and can make it hard to find the commands and possible errors (and
-# their outputs). Also, in some cases, only the produced results may
-# be of interest and not the final PDF, so LaTeX (and its necessary
-# packages) may not be installed.
-#
-# If this variable is given any string, a PDF will be made with
-# LaTeX. Otherwise, a notice will just printed that for now, no PDF
-# will be created.
-BUILD-FINAL-PDF = yes
diff --git a/reproduce/config/pipeline/pdf-build.mk b/reproduce/config/pipeline/pdf-build.mk
new file mode 100644
index 0000000..504d0bd
--- /dev/null
+++ b/reproduce/config/pipeline/pdf-build.mk
@@ -0,0 +1,14 @@
+# Make the final PDF?
+# -------------------
+#
+# During the testing a pipeline, it is usually not necessary to build
+# the PDF file (which makes a lot of output lines on the command-line
+# and can make it hard to find the commands and possible errors (and
+# their outputs). Also, in some cases, only the produced results may
+# be of interest and not the final PDF, so LaTeX (and its necessary
+# packages) may not be installed.
+#
+# If this variable is given any string, a PDF will be made with
+# LaTeX. Otherwise, a notice will just printed that for now, no PDF
+# will be created.
+pdf-build-final = yes