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