chore: use module system and update releases#13
Conversation
This PR adds support for the module system. This allows downstream projects that use modules to depend on MD4Lean. As a consequence, it removes support for Lean v4.22 and earlier, including the compile-time conditional support for the old ABI.
david-christiansen
force-pushed
the
modules
branch
from
8af0f07 to
7788653
Compare
|
If you'd rather not drop support for those versions, then I can maintain this as a branch until you are. But given that this project is very stable, I suspect that users of older Lean versions can keep depending on the older MD4Lean without issue. |
|
The use of the module system is important for me because I'm working on making the Lean reference manual support modules, which I expect to greatly improve the time needed for incremental rebuilds when changing the text. |
|
I'm OK with these changes. The main usage I concerned is https://github.com/leanprover/doc-gen4, could you add a PR to it to adapt these changes?
May be you can also add a note to README to specify a git hash for users for older Lean versions? |
|
I added the note. I don't expect any adaptation to be necessary for clients of the library, but I'll go check. |
|
Thank you! |
|
Just confirming: |
2 participants
Let's see what effect this has on version support in CI.