run-sml funktioniert nicht in emacs sml-mode

Question

Ich möchte Sml-Modus in Emacs auf Fedora verwenden. Meine ~/.emacs Datei enthält

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

, wo das Verzeichnis mit den git-geklonten sml-mode-Dateien enthält.

I edited 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) 

zu haben, die in der Tat PolyML beginnt, die Version, die ich verwenden möchten.

Als ich M-x run-sml geben Sie eine minderwertige SML-Lese-eval-print Schleife I

Cannot open load file: sml-proc 

im Minipuffer erhalten zu laufen. Was soll ich hier besser machen?

Answer 1

Es gibt keine sml-proc Datei, die mir bekannt ist. Welche Version von sml-mode werden Sie verwenden, es sieht aus wie der aktuelle 6.7 ist, und das automatische Laden von run-sml (oder sml-run) sollte von sml-mode auch, zB

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

Sie sollten mit (setq sml-program-name ...) in der Config legen Sie die sml-Programm durchgeführt werden Datei müssen Sie den Quellcode nicht ändern.