Как я могу указать собственный путь к файлам аннотаций в emacs в режиме туарегов? - PullRequest
Новая
       18

Как я могу указать собственный путь к файлам аннотаций в emacs в режиме туарегов?

5 голосов
/ 15 февраля 2011

Есть ли способ указать путь к файлам annot при использовании режима tuareg в emacs?Я пытаюсь выяснить тип для своих функций, и режим жалуется на "не файл аннотации".

Моя структура сборки: 

lib 
 obj
  *.o
  *.cmi
  *.cmx
  *.annot
 src
  *.ml
  *.mli

Ответы [ 3 ]

2 голосов
/ 15 февраля 2011

Я не думаю, что вы можете легко настроить это: посмотрите на функцию caml-types-locate-type-file в файле caml-types.el в вашей установке ocaml.

Это функция, которая ищет .annotфайлы.Вы, вероятно, можете отредактировать его, заменив "_build" (где ocamlbuild помещает сгенерированные файлы) на obj и с этим покончено.

Гораздо лучше выбрать определение переменной в вашем.emacs.el, и используйте его в файле caml-types.el.таким образом, вы могли бы даже предложить патч людям ocaml.

0 голосов
/ 17 марта 2014 
# soft link .annot files so that Emacs' tuareg-mode can find them
mkdir -p _build
for f in `find lib/obj -name *.annot` ; do ln -s ../$f _build/ ; done
0 голосов
/ 17 января 2012

Мне достаточно следующего кода: он создает новую переменную настройки (которую я не привязал к группе настроек, но вы можете, если хотите), а затем использует эту переменную как список каталогов для поиска. 

(defcustom caml-types-annot-directories-search
  '("_build" "obj" "../obj")
  "List of directories to search for .annot files"
  :type '(repeat string)
)
(defun or-list (f lst)
  (if (null lst) nil
    (if (apply f (car lst) nil)
        (car lst)
        (or-list f (cdr lst)))))

(add-hook 'tuareg-mode-hook
          (lambda ()
            (defun caml-types-locate-type-file (target-path)
              (let ((sibling (concat (file-name-sans-extension target-path) ".annot")))
                (if (file-exists-p sibling)
                    sibling
                  (let ((project-dir (file-name-directory sibling))
                        (test-dir (lambda (prefix)
                                    (message "Prefix is %s" prefix)
                                    (setq type-path
                                          (expand-file-name
                                           (file-relative-name sibling project-dir)
                                           (expand-file-name prefix project-dir)))
                                    (message "Testing %s" type-path)
                                    (file-exists-p type-path)))
                        type-path)
                    (while (not (or-list test-dir caml-types-annot-directories-search))
                      (if (equal project-dir (caml-types-parent-dir project-dir))
                          (error (concat "No annotation file. "
                                         "You should compile with option \"-annot\".")))
                      (setq project-dir (caml-types-parent-dir project-dir)))
                    type-path))))))
...