search

cpitclaudel / alectryon

A collection of tools for writing technical documents that mix Coq code and prose.
MIT License
227 stars 36 forks source link

alectryon.el expects a local Alectryon installation? #55

Closed Zimmi48 closed 3 years ago

Zimmi48 commented 3 years ago

With a MELPA-installed alectryon.el and a globally installed alectryon, I got the following error:

Suspicious state from syntax checker alectryon: Flycheck checker alectryon returned 2, but its output contained no errors: /nix/store/66fbv9mmx1j4hrn9y06kcp73c3yb196r-python3-3.8.9/bin/python3: can't open file '/home/theo/.emacs.d/alectryon.py': [Errno 2] No such file or directory

Try installing a more recent version of alectryon, and please open a bug report if the issue persists in the latest release.  Thanks!

I'm suspecting that alectryon.el should also look for an alectryon binary in PATH.

cpitclaudel commented 3 years ago

Excellent point — having Alectryon in your path didn't use to be so common, but now we have a fancy PyPi package :star_struck:

Will fix soon.