Maketool is a simple GTK based GUI front end for GNU make that works with any system that uses GNU make. It figures out what targets are available and presents them in a menu. Runs make and detects compiler errors in the output, allowing you to click on the errors to edit the corresponding source. If you then double click on an error, it will start an editor that file and line.
【 在 RaZRo 的大作中提到: 】
: 运行 make ,对各种编译工具的输出错误进行定位,说明,使用外部软件跳转到对应的文件对应的行。
: 里边能够自动识别 make 或者其他format里的target,可以快速运行make target。
: 就是一个独立的build 窗口。
: ...................
--
FROM 139.227.19.*