search

FStarLang / fstar-mode.el

Emacs support for F*
Apache License 2.0
67 stars 17 forks source link

fstar literate setup problems on Ubuntu 22.04 and emacs 28 #130

Open briangmilnes opened 1 year ago

briangmilnes commented 1 year ago

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

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 commented 1 year ago

Does import docutils work in the terminal?

briangmilnes commented 1 year ago

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 https://github.com/FStarLang/fstar-mode.el/issues/130#issuecomment-1482347846, or unsubscribe https://github.com/notifications/unsubscribe-auth/ACKMDKZF3EJ7J6E52WJ6MS3W5VBWNANCNFSM6AAAAAAWCWQ4HY . You are receiving this because you authored the thread.Message ID: @.***>

cpitclaudel commented 1 year ago

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

briangmilnes commented 1 year ago

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 https://github.com/FStarLang/fstar-mode.el/issues/130#issuecomment-1482739460, or unsubscribe https://github.com/notifications/unsubscribe-auth/ACKMDK3GNZJUIMNBPTGHJX3W5WJGBANCNFSM6AAAAAAWCWQ4HY . You are receiving this because you authored the thread.Message ID: @.***>