run-sml在emacs中不起作用sml-mode

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读取 - 求值 - 输出循环我得到

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程序在你的配置文件，您不需要更改源代码。