📄 build_glpk_with_mingw.bat
字号:
rem Build GLPK with MinGW
rem NOTE: Make sure that HOME variable specifies correct path.
set HOME=C:\MinGW
set PATH=%HOME%\bin;%HOME%\libexec\gcc\mingw32\3.4.5;%PATH%
copy config_MinGW config.h
%HOME%\bin\mingw32-make.exe -f Makefile_MinGW
%HOME%\bin\mingw32-make.exe -f Makefile_MinGW check
pause
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -