run-sml在emacs sml模式下不起作用

Question

我想在Fedora上的emacs中使用sml-mode。我的~/.emacs文件包含

(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)

其中该目录包含git克隆的sml模式文件。

我编辑了sml-mode.el，使其具有

(defcustom sml-program-name "/home/gbuday/prooftheory/polyml/bin/poly"
"Program to run as Standard SML read-eval-print loop."
:type 'string)

它确实启动了PolyML，我想要使用的版本。

当我输入M-x run-sml来运行一个下级的SML read-eval-print循环时，我得到

Cannot open load file: sml-proc

在微型缓冲区中。在这里我应该做什么更好？

Answer 1

据我所知没有sml-proc文件。你使用的是什么版本的sml-mode，看起来当前版本是6.7，自动加载run-sml (或sml-run)也应该在sml-mode中完成，例如

(autoload 'run-sml "sml-mode")

你应该在你的配置文件中用(setq sml-program-name ...)来设置sml程序，你不需要修改源代码。

Answer 2

试试这个：

(setenv "PATH" (concat "/usr/local/smlnj/bin:" (getenv "PATH")))
(setq exec-path (cons "/usr/local/smlnj/bin"  exec-path))

将/usr/local替换为适当的路径。