Support execution properties for typesetting actions

... in order to allow a specialized typesetting image to be used,
so that the (potentially large) typesetting dependencies do not
have to be installed in the normal build images.

3 files changed, 26 insertions, 3 deletions

diff --git a/latex/EXPRESSIONS b/latex/EXPRESSIONS
index 640f587..6b33e64 100644
--- a/latex/EXPRESSIONS
+++ b/latex/EXPRESSIONS
@@ -10,6 +10,7 @@
     , "runner type"
     , "opts"
     , "output file extension"
+    , "TYPESETTING_EXECUTION_PROPERTIES"
     ]
   , "expression":
     { "type": "let*"
@@ -182,6 +183,11 @@
             ]
           , "cmd": {"type": "var", "name": "cmd"}
           , "env": {"type": "var", "name": "env"}
+          , "execution properties":
+            { "type": "var"
+            , "name": "TYPESETTING_EXECUTION_PROPERTIES"
+            , "default": {"type": "empty_map"}
+            }
           }
         ]
       , [ "output file"
diff --git a/latex/RULES b/latex/RULES
index d3e6679..ac6c9c9 100644
--- a/latex/RULES
+++ b/latex/RULES
@@ -20,13 +20,17 @@
       , "of a .tex file in \"srcs\"; the \"stage\" is prepended automatically."
       ]
     }
-  , "config_vars": ["env", "latex"]
+  , "config_vars": ["env", "latex", "TYPESETTING_EXECUTION_PROPERTIES"]
   , "config_doc":
     { "latex": ["Name of the latex command, defaults to \"pdflatex\"."]
     , "env":
       [ "Any override to the default environment which sets only"
       , "PATH and SOURCE_DATE_EPOCH"
       ]
+    , "TYPESETTING_EXECUTION_PROPERTIES":
+      [ "Map of additional remote-execution properties to add for the typesetting"
+      , "actions; defaults to the empty map."
+      ]
     }
   , "implicit": {"runner": ["latex_runner.sh"]}
   , "imports":
@@ -200,13 +204,17 @@
       , "If omitted, \".pdf\" is assumed."
       ]
     }
-  , "config_vars": ["env", "latexmk"]
+  , "config_vars": ["env", "latexmk", "TYPESETTING_EXECUTION_PROPERTIES"]
   , "config_doc":
     { "env":
       [ "Any override to the default environment which sets only"
       , "PATH and SOURCE_DATE_EPOCH"
       ]
     , "latexmk": ["Name of the latexmk command, defaults to \"latexmk\"."]
+    , "TYPESETTING_EXECUTION_PROPERTIES":
+      [ "Map of additional remote-execution properties to add for the typesetting"
+      , "actions; defaults to the empty map."
+      ]
     }
   , "imports": {"call latex": "call latex"}
   , "expression":
diff --git a/pandoc/RULES b/pandoc/RULES
index ffd62c6..e91ec49 100644
--- a/pandoc/RULES
+++ b/pandoc/RULES
@@ -168,12 +168,16 @@
     , "meta data files":
       ["Additional meta data files to be taken into account"]
     }
-  , "config_vars": ["env"]
+  , "config_vars": ["env", "TYPESETTING_EXECUTION_PROPERTIES"]
   , "config_doc":
     { "env":
       [ "Any override to the default environment which sets only"
       , "PATH, SOURCE_DATE_EPOCH, and TEXINPUTS"
       ]
+    , "TYPESETTING_EXECUTION_PROPERTIES":
+      [ "Map of additional remote-execution properties to add for the typesetting"
+      , "actions; defaults to the empty map."
+      ]
     }
   , "implicit": {"metadata": [["./", ".", "metadata"]]}
   , "imports":
@@ -472,6 +476,11 @@
               , {"type": "var", "name": "src names"}
               ]
             }
+          , "execution properties":
+            { "type": "var"
+            , "name": "TYPESETTING_EXECUTION_PROPERTIES"
+            , "default": {"type": "empty_map"}
+            }
           }
         ]
       ]