PyInstaller: Lib не найден 'mpich2mpi.dll'

Вы правы - если было объявлено объявление autoload для evil-mode, тогда (require 'evil) не нужно (require 'evil) до (evil-mode 1)

. Отдельные пользователи могут или не могут нужно (require 'evil). Речь идет о том, как была установлена ​​библиотека. Сам по себе cookie ;;;###autoload ничего не делает; но если вы установили evil с помощью package.el, они будут проанализированы и превращены в файл объявлений autoload, которые Emacs будет загружать, когда пакеты инициализируются.

Если вы устанавливаете библиотеку без использования диспетчера пакетов, вам может понадобиться require, или написать собственное объявление autoload для функций, которые вы могли бы вызвать.