mmt make alltex no longer works

[kohlhase]

I on the sTeX branch I get

kohlhase@MiKo source % mmt make alltex
user: 'make alltex'
  error: build target not found: alltex

@Jazzpirate did you get rid of this?

This may or may not be related to #560

[Jazzpirate]

...looks like some things in mmt-stex were needed after all -.-

what does alltex do? pdflatex on every tex file?

[kohlhase]

No, in a directory makes a file all.tex that \inputs all sTeX files in that dir topologically sorted by dependency. Very useful for testing.

Also mmt make pdflatex (which runs pdflatex over all files) and mmt make allpdf makes alltex and runs pdflatex over it are somewhat useful.

[Jazzpirate]

okay, what this means is that for now you can just switch to the devel branch of MMT (rather than the sTeX branch), and everything should work there.

Then I'll need to find out how the alltex build target determines the dependency order - heuristically by hardcoding all "import"-like commands, I guess?

[kohlhase]

unfortunately, the devel branch does not build for me :-( (no matter, not important for the moment).

[kohlhase]

For the dependency order and mmt make alltex you should ask @lambdaTotoro

[Jazzpirate]

Yeah, I looked at the code, and it looks like all dependency macros are hardcoded. In the long term, we probably want to use latexml-generated annotations instead.

[kohlhase]

that may very well be.

[Jazzpirate]

...in the short term, I will restore the build targets on the sTeX branch as well (also, figure out why apparently devel doesn't compile?)

[kohlhase]

also, figure out why apparently devel doesn't compile?)

sorry, after a sbt clean it does. I keep forgetting; sorry.

[lambdaTotoro]

Then I'll need to find out how the alltex build target determines the dependency order

As @kohlhase already mentioned, that's done topologically by dependency, see this file and #519. The dependency map (i.e. what needs what) is generated here.

Please let me know if I can help out, but I think I'll switch the assignment on this.

[Jazzpirate]

pushed sTeX branch; BuildTargets alltex, tex-deps, pdflatex and tikzsvg have been restored for now