miniIDE helps you run make, or similar build tools,
and locates errors in source files that are reported
by the compilers in an editor of your choice. Its
design goal is a seamless and easy edit-build-debug
cycle. Support for more editors can easily be added
by editing a shell script.
