search

FStarLang / fstar-mode.el

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

Missing python script from ELPA installation #87

Closed jeb2239 closed 5 years ago

jeb2239 commented 6 years ago

I believe there is supposed to be a python script install with this mode but it doesn't come up when installed from ELPA

cpitclaudel commented 6 years ago

Which python script are you thinking about?

jeb2239 commented 6 years ago

image fstar-literate?

cpitclaudel commented 6 years ago

Thanks, that's very surprising. The missing file is lint.py in the etc folder, but the package definitely includes it (see http://melpa.org/#/fstar-mode, which lets you download it as an archive).

Can you try removing fstar-mode and reinstalling it?

cpitclaudel commented 5 years ago

Closing this, since the package should have that file; feel free to reopen if it still happens.