Getting Easycrypt to run on PG

[AlyssaLytle]

I installed Easycrypt and ProofGeneral according to the instructions for my Mac, and when I click on a .ec file, it opens proof general, but when I try to step through the file, I get the error:

Starting: easycrypt -emacs -I /Users/abyrnes1/.opam/4.05.0/bin condition-case: Searching for program: No such file or directory, easycrypt

In customizations, I added the path to easycrypt in the load path, so I'm not sure why it isn't finding it.

[jiawenliu]

I have the same issue

[erikmd]

Hi @jiawenliu and @AlyssaByrnes, thanks for raising this issue! and sorry for late reply.

a few questions:

• what the exact version of your OS?
• how did you install easycrypt?
• is it in your user PATH when you start emacs?
• can you try running emacs & instead from a terminal?

I added the path to easycrypt in the load path

the 'load-path is specific to loading .el files, not binaries.

You could try instead updating 'exec-path, namely:

M-: (add-to-list 'exec-path "/path/to/easycrypt/dir")

If this works, you could for example add this line in your .emacs.

Feel free to comment if this workarounds/fixes the issue or not.

[ghost]

Hi @erikmd . Thanks for your comment. I have the same issue. I've installed easy crypt as readme file on Mac OS. Could you please guide me how can I find the "/path/to/easycrypt/dir" ?