Skip to content

support MANIFEST.MF #15

@kohlhase

Description

@kohlhase

We are making progress on sTeX and it becomes more compatible with the MMT Math Archives infrastructure.
As a consequence, sTeX takes the META-INF/MANIFEST.MF more seriously. A typical file is

id: MiKoMH/IWGS
source-base: http://mathhub.info/MiKoMH/IWGS
narration-base: http://mathhub.info/MiKoMH/IWGS
dependencies: MiKoMH/GenCS MiKoMH/TDM MiKoMH/GenICT MiKoMH/SecDep
description:desc.html
title: Course Notes for the course "Informatische Werkzeuge in den Geistes- und Sozialwissenschaften" at FAU
teaser: A basic course on CS Tools in Digital Humanities (in English and German)
responsible: michael.kohlhase@fau.de

Currently we only take the id key into account, it should be consistent with the file path:
There is an environment variable MATHHUB and the repository/archive path should be $(MATHHUB)/<id>, where <id> is the value of the id key in MANIFEST.MF
Another important key is the dependencies key which contains a whitespace-separated list of archive ids. This should contain all the other archives used in this archive (yes, the induced dependency graph may be cyclic). For instance mmt lmh install uses the dependencies to install an archive with all of its dependencies (very useful for beginning users). The problem is that the dependencies can change when new \importmhmodule or \mhinputref (or so) are added. So the IDE should keep the dependencies up to date. As stexls already maintains the theory graph, and the theory URIs, computing a list of dependencies should be relatively easy.
More MANIFEST.MH functionality may come in the future.

Metadata

Metadata

Assignees

Labels

enhancementNew feature or request

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions