search

UniFormal / MMT

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

*pdf* build targets should not trigger the tikzsvg target #464

Closed kohlhase closed 5 years ago

kohlhase commented 5 years ago

Currently the pdflatex build target triggers the tikzsvg target, but pdflatex does not need the svg. The OMDoc format generated by the latexml target does. So we should remove that dependency. All other targets (e.g. allpdf should get fixed as well). I guess that now this is easy for @jbetzend to do.

kohlhase commented 5 years ago

I will help, this would also speed up the build of large files like the various course notes.

kohlhase commented 5 years ago

Also, we should look closely at the dependencies of tikzsvg. It seems that they are never up to date and thus are always built.

lambdaTotoro commented 5 years ago

Closed as of commit bd7fa95. MMT now forgets all tikzsvg dependencies unless running a latexml target (so this automatically fixes all targets, no need to do special things for pdflatex and allpdf and such).

As predicted, this cuts down build times of larger files significantly. I ran a quick test on the IWGS notes of this semester and got a reduction in build time of more than 93%, from just over a minute to less than five seconds. :smiley: