fstar literate setup problems on Ubuntu 22.04 and emacs 28

[briangmilnes]

fstar-literate is off due to a python issue in Ubuntu 22.04.1 LTS with emacs 28.

flycheck-verify-setup shows:

fstar-literate (automatically disabled) reset
- may enable: no
- may run: t
- executable: Found at /usr/bin/python3
- Checker selection: OK, checker enabled.
- `docutils' module: Missing; sys.path is ['/usr/lib/python310.zip', '/usr/lib/python3.10', '/usr/lib/python3.10/lib-dynload', '/usr/local/lib/python3.10/dist-packages', '/usr/lib/python3/dist-packages']

for example, lib-dynload is there but the zip is not and the /usr/lib dist-packages is not there but is in the /usr/local/lib.

Anyone know how to work around this?

[cpitclaudel]

Does import docutils work in the terminal?

[briangmilnes]

Clement, I'll try it today. I think that basically I need to launch emacs from within a python virtual environment, which produces and emacs with all of the text grayed out. I'll mess around with it more. What OS and revision of F* and python are you running? Thanks, Brian P.S. Started my career doing common lisp for Fahlman and Steele, so you can simply point me in the right direction and I'll try and fix things for you.

…

On Fri, Mar 24, 2023 at 12:06 AM Clément Pit-Claudel < ***@***.***> wrote: Does import docutils work in the terminal? — Reply to this email directly, view it on GitHub <#130 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/ACKMDKZF3EJ7J6E52WJ6MS3W5VBWNANCNFSM6AAAAAAWCWQ4HY> . You are receiving this because you authored the thread.Message ID: ***@***.***>

[cpitclaudel]

I use Ubuntu; I haven't written F* recently/
I suspect pip install docutils might be enough; it will install it globally.

[briangmilnes]

Clement, pip install docutils works when you also put /home/milnes/.local/bin on PATH. So a small comment should be added in the README.md. Also c-c c-r should say reloads the buffer from start to mark. If you're OK with the changes I've proposed so far, I'll branch, modify and put in a pull request. Thanks, Brian

…

On Fri, Mar 24, 2023 at 5:43 AM Clément Pit-Claudel < ***@***.***> wrote: I use Ubuntu; I haven't written F* recently/ I suspect pip install docutils might be enough; it will install it globally. — Reply to this email directly, view it on GitHub <#130 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/ACKMDK3GNZJUIMNBPTGHJX3W5WJGBANCNFSM6AAAAAAWCWQ4HY> . You are receiving this because you authored the thread.Message ID: ***@***.***>