search

UniFormal / MMT

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

mmt make alltex no longer works #561

Closed kohlhase closed 3 years ago

kohlhase commented 3 years ago

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 commented 3 years ago

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

what does alltex do? pdflatex on every tex file?

kohlhase commented 3 years ago

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 commented 3 years ago

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 commented 3 years ago

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

kohlhase commented 3 years ago

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

Jazzpirate commented 3 years ago

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 commented 3 years ago

that may very well be.

Jazzpirate commented 3 years ago

...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 commented 3 years ago

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

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

lambdaTotoro commented 3 years ago

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 commented 3 years ago

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