search

UniFormal / MMT

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

Mysterious SMS build problems #500

Closed lambdaTotoro closed 3 years ago

lambdaTotoro commented 4 years ago

Currently, if you mmt make pdflatex notes.tex in ...MathHub/MiKoMH/IWGS/source/course/notes, you will run into an error, because ...MathHub/MiKoMH/talks/source/sTeX/en/sTeX-approach.sms is not being build.

There is a FileBuildDependency correctly being generated for that file, but somehow it is not being built. If you force sms creation manually, all is well (and this way the issue can be circumvented) but it really should really be automatic as a matter of dependency.

lambdaTotoro commented 3 years ago

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