lean2/bin/leanemacs_build.bat

5 lines
134 B
Batchfile
Raw Permalink Normal View History

SET MY_PATH=%~dp0
SET LEAN_ROOTDIR=%MY_PATH%/..
SET LEAN_EMACS_PATH=%MY_PATH%/../src/emacs
emacs -load %LEAN_EMACS_PATH%/load-lean.el