search

UniFormal / MMT

The MMT Language and System
https://uniformal.github.io/
Other
68 stars 23 forks source link

Unnecessary SMS builds #467

Closed lambdaTotoro closed 3 years ago

lambdaTotoro commented 5 years ago

If one builds a sTeX file with a bunch of dependencies¹ with mmt make pdflatex file, all sms files in the dependency closure are built, if they do not exist yet. Of those that do exist, those that are up-to-date ("i.e." younger than the file they are based on) do not need to be rebuilt, but some of them are, currently.

This becomes especially visible when building the same file multiple times in succession. Here, there are also a lot of sms dependencies that read "success" when they should just be up-to-date, since their corresponding latex files should not have changed in between builds.

As a result, build times are longer than they need to be, which is unfortunate.

[1]: e.g. ../MathHub/MiKoCourses/IWGS/source/WS1819/assignments.tex

lambdaTotoro commented 3 years ago

This became irrelevant with the deprecation of the sms format (see #551). Closing.