diff options
author | Marius <mariausol@gmail.com> | 2013-03-22 13:40:16 +0200 |
---|---|---|
committer | Marius <mariausol@gmail.com> | 2013-03-22 13:40:16 +0200 |
commit | fb1c4d662cdfd0e42a6627bedf501ba40ab0aba4 (patch) | |
tree | 9b0d803247eea299e15b99516a9c64aa0d41f389 /scripts | |
parent | c6b55838820ffd27a05d45364f956f87f089c3ee (diff) | |
download | context-fb1c4d662cdfd0e42a6627bedf501ba40ab0aba4.tar.gz |
beta 2013.03.22 12:06
Diffstat (limited to 'scripts')
-rw-r--r-- | scripts/context/lua/mtx-context.lua | 7 | ||||
-rw-r--r-- | scripts/context/lua/mtx-timing.lua | 3 |
2 files changed, 9 insertions, 1 deletions
diff --git a/scripts/context/lua/mtx-context.lua b/scripts/context/lua/mtx-context.lua index 43180ddae..1035267e0 100644 --- a/scripts/context/lua/mtx-context.lua +++ b/scripts/context/lua/mtx-context.lua @@ -744,6 +744,13 @@ function scripts.context.run(ctxdata,filename) pdf_close(resultname,pdfview) end end + -- + -- we could do this when locating the format and exit from luatex when + -- there is a version mismatch .. that way we can use stock luatex + -- plus mtxrun to run luajittex instead .. this saves a restart but is + -- also cleaner as then mtxrun only has to check for a special return + -- code (signaling a make + rerun) .. maybe some day + -- local okay = statistics.checkfmtstatus(formatfile,a_engine) if okay ~= true then report("warning: %s, forcing remake",tostring(okay)) diff --git a/scripts/context/lua/mtx-timing.lua b/scripts/context/lua/mtx-timing.lua index 7d1a220e4..5ba361e5f 100644 --- a/scripts/context/lua/mtx-timing.lua +++ b/scripts/context/lua/mtx-timing.lua @@ -36,6 +36,7 @@ local application = logs.application { local report = application.report +dofile(resolvers.findfile("node-snp.lua","tex")) dofile(resolvers.findfile("trac-tim.lua","tex")) dofile(resolvers.findfile("trac-lmx.lua","tex")) @@ -85,7 +86,7 @@ local directrun = true local what = { "parameters", "nodes" } -plugins = plugins or { } -- brrr, will become moduledata as well +plugins = plugins or { progress = { } } -- brrr, will become moduledata as well function plugins.progress.make_svg(filename,other) local metadata, menudata, c = { }, { }, 0 |