bin/leanpkg.bat - third_party/github.com/leanprover/lean4 - Git at Google


            
            @ECHO OFF


            SET LEANDIR=%~dp0%../

            
            SET LIBDIR=%LEANDIR%\lib\lean

            
            IF NOT EXIST %LIBDIR% SET LIBDIR=%LEANDIR%

            
            SET LEAN_PATH=%LIBDIR%\library;%LIBDIR%\leanpkg

            
            SET PATH=%LEANDIR%\bin;%PATH%


            lean --run %LIBDIR%\leanpkg\leanpkg\main.lean %*
	@ECHO OFF

	SET LEANDIR=%~dp0%../
	SET LIBDIR=%LEANDIR%\lib\lean
	IF NOT EXIST %LIBDIR% SET LIBDIR=%LEANDIR%
	SET LEAN_PATH=%LIBDIR%\library;%LIBDIR%\leanpkg
	SET PATH=%LEANDIR%\bin;%PATH%

	lean --run %LIBDIR%\leanpkg\leanpkg\main.lean %*