I want to use sml-mode in emacs on Fedora. My ~/.emacs
file contains
(add-to-list 'load-path "/home/gbuday/prooftheory/sml-mode")
(autoload 'sml-mode "sml-mode" "Major mode for editing SML." t)
(autoload 'run-sml "sml-proc" "Run an inferior SML process." t)
where that directory contains the git-cloned sml-mode files.
I edited sml-mode.el
to have
(defcustom sml-program-name "/home/gbuday/prooftheory/polyml/bin/poly"
"Program to run as Standard SML read-eval-print loop."
:type 'string)
which indeed starts PolyML, the version I want to use.
When I type M-x run-sml
to run an inferior SML read-eval-print loop I get
Cannot open load file: sml-proc
in the minibuffer. What should I do better here?
There is no
sml-proc
file I'm aware of. What version ofsml-mode
are you using, it looks like the current is 6.7, and autoloadingrun-sml
(orsml-run
) should be done fromsml-mode
as well, egYou should set the sml program with
(setq sml-program-name ...)
in your config file, you don't need to change the source code.