Zulip Chat Archive
Stream: general
Topic: Leanblueprint broken on Nix
Niklas Halonen (Jan 10 2025 at 19:53):
Hi all, I packaged leanblueprint to nixpkgs, but as pointed out by @Yury G. Kudryashov its plasTeX integration is broken, sorry about that. I'm working on a fix but won't promise that I get it done any time soon. Here are some more details about the problem if someone wants to help with the task:
- When creating a web version of the blueprint, plasTeX tries to use the leanblueprint python module, which it cannot find as it was built without leanblueprint as a dependency. This error is seen in the output
plasTeX version 3.1
..
ERROR: Loading package "report" raised exception ModuleNotFoundError : No
module named 'leanblueprint'
- Adding leanblueprint as a dependency to plasTeX would cause a cyclic dependency resulting in "error: infinite recursion encoutered".
Some possible solutions I have considered:
- Rewriting leanblueprint to use plasTeX as a python module rather than call it from a subprocess
- Create a wrapper for plasTeX which has leanblueprint in its PYTHONPATH
- Creating a package which bundles leanblueprint and plastex into one
As far as I know there is no way to get leanblueprint to work on Nix right now. Please correct me if I'm wrong.
Yury G. Kudryashov (Jan 10 2025 at 23:25):
I'm setting the python path in the command line, then it works.
Yury G. Kudryashov (Jan 10 2025 at 23:26):
You can just create a wrapper around the lean blueprint command that sets the python path environment variable. On the phone, so can't give more details right now.
Last updated: May 02 2025 at 03:31 UTC